flush stdout before writing to stderr in print_error()

diff --git a/Python/pythonrun.c b/Python/pythonrun.c
index 734b72b0c4480782dc3c9db41ef10ce932fac86f..2268c71ad483d165ad20bc3231d82d2336b7717f 100644 (file)
--- a/Python/pythonrun.c
+++ b/Python/pythonrun.c
@@ -286,6 +286,7 @@ print_error()
        object *exception, *v, *tb, *f;
        err_fetch(&exception, &v, &tb);
        flushline();
+       fflush(stdout);
        if (exception == NULL)
                fatal("print_error called but no exception");
        if (exception == SystemExit) {