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