Add flush to stderr write

2026-09-27 10:03:11 +07:00 · 2016-07-01 18:02:57 +02:00
parent 4248010148
commit c5195de2e9
1 changed files with 1 additions and 0 deletions
@@ -288,6 +288,7 @@ def start_console_server(host, port, interpreter):

    except:
        sys.stderr.write('Error starting server with host: %s, port: %s, client_port: %s\n' % (host, port, interpreter.client_port))
+        sys.stderr.flush()
        raise

    # Tell UMD the proper default namespace