flush stdout before writing to stderr in print_error()

This commit is contained in:
Guido van Rossum 1995-03-30 11:01:44 +00:00
parent 74ee2878b6
commit 527c2643d1
1 changed files with 1 additions and 0 deletions

View File

@ -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) {