summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--igor.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/igor.py b/igor.py
index 24c306b9..c553d417 100644
--- a/igor.py
+++ b/igor.py
@@ -319,6 +319,7 @@ def print_banner(label):
which_python = os.path.relpath(sys.executable)
print('=== %s %s %s (%s) ===' % (impl, version, label, which_python))
+ sys.stdout.flush()
def do_help():