diff options
author | josef <josef.gson@gmail.com> | 2015-11-12 10:52:02 +0100 |
---|---|---|
committer | josef <josef.gson@gmail.com> | 2015-11-12 10:52:02 +0100 |
commit | dd79e1a7e180e80031e142907bd13512bd75a0f7 (patch) | |
tree | abcee60a44381bc7381faf7b69c6638dca89a720 | |
parent | 0b5463598620aa155b88ad21852ead778e0216bf (diff) |
changing filed separator since people use ; in issuers..
-rwxr-xr-x | monitor/josef_experimental.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/monitor/josef_experimental.py b/monitor/josef_experimental.py index c08368d..8e9e706 100755 --- a/monitor/josef_experimental.py +++ b/monitor/josef_experimental.py @@ -129,7 +129,7 @@ def update_roots(log): def parse_entry(e, idx, log): # print the following fields, separated by sep - sep = ";" + sep = ";;;" s = log["name"] s += sep + str(idx) # index |