diff options
| author | Sebastian Schuberth <sschuberth@gmail.com> | 2018-07-13 11:47:10 +0200 |
|---|---|---|
| committer | Sebastian Schuberth <sschuberth@gmail.com> | 2018-07-13 16:23:50 +0200 |
| commit | a9399846faa077a8eb15aedb8b498cba7cf3aeba (patch) | |
| tree | 089048ac29d73f4984d13133ab5de7099b04d27b /main.py | |
| parent | b10f0e5b9a9ba6d8e9a27b3a81d2fc1d65d9810d (diff) | |
| download | git-repo-a9399846faa077a8eb15aedb8b498cba7cf3aeba.tar.gz | |
Flush stderr on Windows
While on Linux stderr is unbuffered, it is buffered on Windows. Always
flush stderr on Windows to ensure any error messages appear in the right
order to ease diagnosing.
Change-Id: I37300e384ecd3a51a321a48818f0114d6f3357a0
Diffstat (limited to 'main.py')
0 files changed, 0 insertions, 0 deletions