##// END OF EJS Templates
Fix a race in killing subprocesses.
gvaroquaux -
Show More
@@ -364,7 +364,8 b' class WxController(ConsoleWidget, PrefilterFrontEnd):'
364 364 if self._input_state == 'subprocess':
365 365 if self.debug:
366 366 print >>sys.__stderr__, 'Killing running process'
367 self._running_process.process.kill()
367 if hasattr(self._running_process, 'process'):
368 self._running_process.process.kill()
368 369 elif self._input_state == 'buffering':
369 370 if self.debug:
370 371 print >>sys.__stderr__, 'Raising KeyboardInterrupt'
General Comments 0
You need to be logged in to leave comments. Login now