Flush stderr to avoid lost output.

pull/4420/head
Matt Clay 2016-08-11 15:14:22 -07:00
parent 925b0ff9e9
commit 2b0d63b0d8
1 changed files with 1 additions and 0 deletions

View File

@ -161,6 +161,7 @@ def print_stderr(*args, **kwargs):
"""Print to stderr."""
print(*args, file=sys.stderr, **kwargs)
sys.stderr.flush()
def dump_stderr(label, l):