Flush the stream after writing a char

2024-12-30 13:29:18 +00:00 · 2013-10-26 17:41:06 -07:00 · 2013-10-26 17:41:06 -07:00 · 3fe9420b82
commit 3fe9420b82
parent 7034d8f595
1 changed files with 1 additions and 0 deletions
--- a/py65/utils/console.py
+++ b/py65/utils/console.py
@ -93,4 +93,5 @@ def line_input(prompt='', stdin=sys.stdin, stdout=sys.stdout):
        else:
            line += char
            stdout.write(char)
+            stdout.flush()
    return line