check the log modified time of an optional gziped log

diff --git a/Debbugs/Status.pm b/Debbugs/Status.pm
index f44f9fc4fbefdbb7114c95a7565e206c4cff568c..bf3d2ab7cdbdfa27d25b4d0b7eac3831445af3ef 100644 (file)
--- a/Debbugs/Status.pm
+++ b/Debbugs/Status.pm
@@ -276,7 +276,7 @@ sub read_bug{
 
     my $status_modified = (stat($status))[9];
     # Add log last modified time
-    $data{log_modified} = (stat($log))[9];
+    $data{log_modified} = (stat($log))[9] // (stat("${log}.gz"))[9];
     $data{last_modified} = max($status_modified,$data{log_modified});
     $data{location} = $location;
     $data{archived} = (defined($location) and ($location eq 'archive'))?1:0;