From 274ea1a70ebe79800b2a3dc594363727ea306287 Mon Sep 17 00:00:00 2001 From: Linus Nordberg Date: Tue, 10 Nov 2015 16:17:40 +0100 Subject: Print timing information in merge_fetch too. --- tools/merge_fetch.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/merge_fetch.py b/tools/merge_fetch.py index 1540c34..0bfc2fd 100755 --- a/tools/merge_fetch.py +++ b/tools/merge_fetch.py @@ -86,6 +86,10 @@ def merge_fetch(_args, config, localconfig): verifycert.communicate(struct.pack("I", 0)) + if args.timing: + print >>sys.stderr, timing["deltatimes"] + sys.stderr.flush() + tree_size = len(logorder) if tree_size == 0: return (0, '') -- cgit v1.1