diff options
| -rwxr-xr-x | tools/merge_dist.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tools/merge_dist.py b/tools/merge_dist.py index 20b6a06..05cffc2 100755 --- a/tools/merge_dist.py +++ b/tools/merge_dist.py @@ -86,8 +86,8 @@ def merge_dist(args, localconfig, frontendnodes, timestamp): print >>sys.stderr, "missing entries:", len(missingentries) sys.stderr.flush() - fetched_entries = 0 - print >>sys.stderr, "fetching missing entries", + sent_entries = 0 + print >>sys.stderr, "send missing entries", sys.stderr.flush() for missingentry in missingentries: ehash = b64decode(missingentry) @@ -96,9 +96,9 @@ def merge_dist(args, localconfig, frontendnodes, timestamp): if sendentryresult["result"] != "ok": print >>sys.stderr, "sendentry:", sendentryresult sys.exit(1) - fetched_entries += 1 - if fetched_entries % 1000 == 0: - print >>sys.stderr, fetched_entries, + sent_entries += 1 + if sent_entries % 1000 == 0: + print >>sys.stderr, sent_entries, sys.stderr.flush() print >>sys.stderr sys.stderr.flush() |