diff options
Diffstat (limited to 'tools')
| -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 |