Flush stdout after character echo in readline

2026-02-09 22:03:06 -05:00 · 2026-02-09 22:03:06 -05:00 · 5ffbe660fb
commit 5ffbe660fb
parent 2ce82e7d87
1 changed files with 1 additions and 0 deletions
--- a/src/mudlib/zmachine/trivialzui.py
+++ b/src/mudlib/zmachine/trivialzui.py
@ -374,6 +374,7 @@ def _read_line(original_text=None, terminating_characters=None):
            char_to_print = char

        sys.stdout.write(char_to_print)
+        sys.stdout.flush()
    return string