diff options
| author | Josef Gustafsson <josef.gson@gmail.com> | 2015-09-30 11:09:41 +0200 |
|---|---|---|
| committer | Josef Gustafsson <josef.gson@gmail.com> | 2015-09-30 11:09:41 +0200 |
| commit | 88fb87dcf0a64d420243ea4b8ea59fea575c91b1 (patch) | |
| tree | 1bf0f2057396627321e6ff069f111205ae748d8d /monitor/josef_logreader.py | |
| parent | 9a8557ebf15d61661b621c559aabecddeb5b6a08 (diff) | |
more verbose logging, including proofs
Diffstat (limited to 'monitor/josef_logreader.py')
| -rwxr-xr-x | monitor/josef_logreader.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/monitor/josef_logreader.py b/monitor/josef_logreader.py index 703ae98..42e1b61 100755 --- a/monitor/josef_logreader.py +++ b/monitor/josef_logreader.py @@ -11,6 +11,7 @@ from monitor_conf import * TIME_LEN = 20 NEW_STH_STR = "STH updated" START_STR = "Starting monitor" +ERROR_STR = "ERROR" def get_logs(): logs = [] @@ -89,7 +90,7 @@ def print_errors(l): ages = [] for item in rev_log: line = item[TIME_LEN:] - if "ERROR" in line: + if ERROR_STR in line: print item[:-1] if line[:len(START_STR)] == START_STR: break # comment this line to print all errors ever |