diff options
| -rwxr-xr-x | tools/merge_backup.py | 2 | ||||
| -rwxr-xr-x | tools/merge_dist.py | 2 | ||||
| -rwxr-xr-x | tools/merge_fetch.py | 2 | ||||
| -rwxr-xr-x | tools/merge_sth.py | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/tools/merge_backup.py b/tools/merge_backup.py index 37b2757..6834e52 100755 --- a/tools/merge_backup.py +++ b/tools/merge_backup.py @@ -122,7 +122,7 @@ def merge_backup(args, config, localconfig, secondaries): write_file(backuppath, backupdata) if args.timing: - print >>sys.stderr, timing["deltatimes"] + print >>sys.stderr, "timing: merge_backup:", timing["deltatimes"] sys.stderr.flush() def main(): diff --git a/tools/merge_dist.py b/tools/merge_dist.py index 05cffc2..9831f97 100755 --- a/tools/merge_dist.py +++ b/tools/merge_dist.py @@ -113,7 +113,7 @@ def merge_dist(args, localconfig, frontendnodes, timestamp): timing_point(timing, "send sth") if args.timing: - print >>sys.stderr, timing["deltatimes"] + print >>sys.stderr, "timing: merge_dist:", timing["deltatimes"] sys.stderr.flush() return timestamp diff --git a/tools/merge_fetch.py b/tools/merge_fetch.py index 0bfc2fd..9d0963b 100755 --- a/tools/merge_fetch.py +++ b/tools/merge_fetch.py @@ -87,7 +87,7 @@ def merge_fetch(_args, config, localconfig): verifycert.communicate(struct.pack("I", 0)) if args.timing: - print >>sys.stderr, timing["deltatimes"] + print >>sys.stderr, "timing: merge_fetch:", timing["deltatimes"] sys.stderr.flush() tree_size = len(logorder) diff --git a/tools/merge_sth.py b/tools/merge_sth.py index bd49c9f..567082c 100755 --- a/tools/merge_sth.py +++ b/tools/merge_sth.py @@ -103,7 +103,7 @@ def merge_sth(args, config, localconfig): write_file(sthfile, sth) if args.timing: - print >>sys.stderr, timing["deltatimes"] + print >>sys.stderr, "timing: merge_sth:", timing["deltatimes"] sys.stderr.flush() def main(): |