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 |
|
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