Fix(init.py): Do not intercept EOF in `myinput`

diff --git a/lib/python/init.py b/lib/python/init.py
index 7f048490b041dacf3f1a89a098fb3d23b3a4dac9..eb832c1b77f640d8899815d3633754bc1ebcf1d2 100644 (file)
--- a/lib/python/init.py
+++ b/lib/python/init.py
@@ -132,10 +132,7 @@ def init():
         def myinput(prompt=None):
             save_stdout = sys.stdout
             sys.stdout = sys.__stdout__
-            try:
-                result = builtin_input(prompt)
-            except EOFError:
-                result = None
+            result = builtin_input(prompt)
             sys.stdout = save_stdout
             return result