diff options
-rwxr-xr-x | monitor/josef_monitor.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/monitor/josef_monitor.py b/monitor/josef_monitor.py index 4b506e8..7000b87 100755 --- a/monitor/josef_monitor.py +++ b/monitor/josef_monitor.py @@ -80,7 +80,8 @@ class ctlog: self.subtree, self.entries = self.fetch_and_increment_subtree(self.entries, self.sth["tree_size"] -1, self.url, self.subtree) except Exception, e: print ERROR_STR + "Failed fetch and increment for " + self.name - self.log(ERROR_STR + "Failed fetch and increment tree. Error: " + str(e)) + self.log(ERROR_STR + "Failed fetch and increment tree. Current Size: " + str(self.entries) + " Sth: " + str(self.sth) + " Error: " + str(e)) + return if tmp_size != self.entries: self.log("Got entries " + str(tmp_size) + " to " \ |