From ded1b3d0daf464ae240e9e088edc30986992537a Mon Sep 17 00:00:00 2001
From: Don Armstrong <don@donarmstrong.com>
Date: Tue, 2 Apr 2013 10:13:22 -0700
Subject: [PATCH] check the log modified time of an optional gziped log

---
 Debbugs/Status.pm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Debbugs/Status.pm b/Debbugs/Status.pm
index f44f9fc..bf3d2ab 100644
--- 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;
-- 
2.39.2