From 3fe9420b82cbc088317c381be70ec3ba8dc2a3ff Mon Sep 17 00:00:00 2001
From: Mike Naberezny <mike@naberezny.com>
Date: Sat, 26 Oct 2013 17:41:06 -0700
Subject: [PATCH] Flush the stream after writing a char

---
 py65/utils/console.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/py65/utils/console.py b/py65/utils/console.py
index dbbcc9a..2df4a4e 100644
--- 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