diff options
author | Magnus Ahltorp <map@kth.se> | 2017-02-08 15:37:40 +0100 |
---|---|---|
committer | Magnus Ahltorp <map@kth.se> | 2017-02-08 15:37:40 +0100 |
commit | 9611100d3a0c841770a4cedc7507b6d27331b495 (patch) | |
tree | 0546678b1b2a054269f7e601eeff50c34d34f2be /tools/mergestatus.py | |
parent | 4fa717f62a909b46fcc35df19c7b75e11e8226a2 (diff) |
Make perf-test work with continuous merge
Diffstat (limited to 'tools/mergestatus.py')
-rwxr-xr-x | tools/mergestatus.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/mergestatus.py b/tools/mergestatus.py index f47cc68..95cf2e8 100755 --- a/tools/mergestatus.py +++ b/tools/mergestatus.py @@ -28,7 +28,7 @@ def main(): currentsize = json.loads(open(currentsizefile, "r").read()) - print >>sys.stderr, currentsize["index"]+1, + print currentsize["index"]+1, for mergenode in mergenodes: if mergenode["name"] == config["primarymergenode"]: @@ -36,13 +36,14 @@ def main(): verifiedfile = mergedb + "/verified." + mergenode["name"] try: tree = json.loads(open(verifiedfile, "r").read()) - print >>sys.stderr, tree["tree_size"], + print tree["tree_size"], except (IOError, ValueError): pass try: sth = json.loads(open(sthfile, "r").read()) - print >>sys.stderr, sth["tree_size"], + print sth["tree_size"], except IOError, e: + print ".", if e.errno != errno.ENOENT: raise print |