Merge pull request #3032 from ThomasWaldmann/stderr-flush

flush json mode progress stderr output
This commit is contained in:
TW 2017-09-21 19:14:20 +02:00 committed by GitHub
commit 9e9398e6cc
1 changed files with 1 additions and 1 deletions

View File

@ -86,7 +86,7 @@ class ProgressIndicatorBase:
finished=finished,
time=time.time(),
))
print(json.dumps(kwargs), file=sys.stderr)
print(json.dumps(kwargs), file=sys.stderr, flush=True)
def finish(self):
if self.json: