summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordu.net>2015-11-10 16:31:54 +0100
committerLinus Nordberg <linus@nordu.net>2015-11-10 16:31:54 +0100
commit3b1b80855704812d8f76fb3a258b52cee0d56720 (patch)
tree6f9279cde3d1ece0ffa462cab888d844fe64d263
parent274ea1a70ebe79800b2a3dc594363727ea306287 (diff)
Print the string "timing" and the name of the program in merge timing info.
-rwxr-xr-xtools/merge_backup.py2
-rwxr-xr-xtools/merge_dist.py2
-rwxr-xr-xtools/merge_fetch.py2
-rwxr-xr-xtools/merge_sth.py2
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():