Flush the file buffers after writing for better behavior when wrapped

msullivan · msullivan · commit 028507021c1c · 2018-01-02T15:20:58.000-08:00
diff --git a/mypy/main.py b/mypy/main.py
@@ -67,6 +67,7 @@ def flush_errors(a: List[str], serious: bool) -> None:
         try:
             for m in a:
                 f.write(m + '\n')
+            f.flush()
         except BrokenPipeError:
             pass
 
