Updates from PyDev: #PyDev-816: Interrupting infinite loop in the Interactive Console

python/helpers/pydev/_pydev_bundle/pydev_console_utils.py

@@ -122,6 +122,8 @@ class StdIn(BaseStdIn):
             if not requested_input:
                 return '\n'  # Yes, a readline must return something (otherwise we can get an EOFError on the input() call).
             return requested_input
+        except KeyboardInterrupt:
+            raise  # Let KeyboardInterrupt go through -- #PyDev-816: Interrupting infinite loop in the Interactive Console
         except:
             return '\n'