diff options
| -rwxr-xr-x | tools/merge_fetch.py | 4 |
1 files changed, 4 insertions, 0 deletions
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, '') |