##// END OF EJS Templates
Merge pull request #9455 from takluyver/close-ptk-eventloop...
Matthias Bussonnier -
r22346:b19460b5 merge
parent child Browse files
Show More
@@ -253,8 +253,8 b' class TerminalInteractiveShell(InteractiveShell):'
253 253 mouse_support=self.mouse_support,
254 254 **self._layout_options()
255 255 )
256 self.pt_cli = CommandLineInterface(self._app,
257 eventloop=create_eventloop(self.inputhook))
256 self._eventloop = create_eventloop(self.inputhook)
257 self.pt_cli = CommandLineInterface(self._app, eventloop=self._eventloop)
258 258
259 259 def _make_style_from_name(self, name):
260 260 """
@@ -384,6 +384,9 b' class TerminalInteractiveShell(InteractiveShell):'
384 384 break
385 385 except KeyboardInterrupt:
386 386 print("\nKeyboardInterrupt escaped interact()\n")
387
388 if hasattr(self, '_eventloop'):
389 self._eventloop.close()
387 390
388 391 _inputhook = None
389 392 def inputhook(self, context):
General Comments 0
You need to be logged in to leave comments. Login now