diff options
| author | josef <josef@josefs-MBP.lan> | 2015-10-01 08:55:52 +0200 |
|---|---|---|
| committer | josef <josef@josefs-MBP.lan> | 2015-10-01 08:55:52 +0200 |
| commit | 810417bab6138470c2b0dda6e74f6ca5640f8f94 (patch) | |
| tree | 2fb661bc41f937d9cb16d4cc0ea05c2c33179f74 | |
| parent | 127018dc079d58b3dc73bc0bee82d83310df399c (diff) | |
fix
| -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 " \ |
