Tools/git-repo
1
0
Fork 0
Code Activity

Merge "Flush stderr on Windows"

Browse source
This commit is contained in:
Sebastian Schuberth 2018-07-13 15:48:36 +00:00 • committed by Gerrit Code Review
commit a6515fb952
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
repo
View file

@ -144,6 +144,10 @@ def _print(*objects, **kwargs):
out = kwargs.get('file', sys.stdout)
out.write(sep.join(objects) + end)
# On Windows stderr is buffered, so flush to maintain the order of error messages.
if out == sys.stderr and platform.system() == "Windows":
out.flush()
# Python version check
ver = sys.version_info