1.1 --- a/lib/__builtins__/io.py Sat Jan 07 16:23:25 2017 +0100
1.2 +++ b/lib/__builtins__/io.py Sun Jan 08 00:27:02 2017 +0100
1.3 @@ -32,6 +32,7 @@
1.4
1.5 if prompt:
1.6 stdout.write(prompt)
1.7 + stdout.flush()
1.8
1.9 return lstdin.readline()
1.10