| commit | a6515fb952ab31a820288ce342e31d2917d0a06c | [log] [tgz] |
|---|---|---|
| author | Sebastian Schuberth <sschuberth@gmail.com> | Fri Jul 13 15:48:36 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Jul 13 15:48:36 2018 +0000 |
| tree | afaa56f02f8fa3fbb5c2412e374829e6d5a307f0 | |
| parent | 993dcacd17c6ea0d9c366c1bfc3e9579dfa19b44 [diff] | |
| parent | a9399846faa077a8eb15aedb8b498cba7cf3aeba [diff] |
Merge "Flush stderr on Windows"
diff --git a/repo b/repo index 78cb41b..bd3a3f1 100755 --- a/repo +++ b/repo
@@ -144,6 +144,10 @@ 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