except (EOFError, IOError, KeyboardInterrupt):
# lost connection or subprocess terminated itself, restart
# [the KBI is from rpc.SocketIO.handle_EOF()]
- if self.tkconsole.closing:
- return
response = None
self.restart_subprocess()
self.tkconsole.endexecuting()
print >>console, errmsg, what
# we received a response to the currently active seq number:
self.tkconsole.endexecuting()
- # Reschedule myself in 50 ms
- self.tkconsole.text.after(50, self.poll_subprocess)
+ # Reschedule myself
+ if not self.tkconsole.closing:
+ self.tkconsole.text.after(self.tkconsole.pollinterval,
+ self.poll_subprocess)
debugger = None
#
self.history = self.History(self.text)
#
+ self.pollinterval = 50 # millisec
if use_subprocess:
self.interp.start_subprocess()
self.interp.interrupt_subprocess()
return "cancel"
else:
- return EditorWindow.close(self)
+ self.closing = True
+ # Wait for poll_subprocess() rescheduling to stop
+ self.text.after(2 * self.pollinterval, self.close2)
+
+ def close2(self):
+ return EditorWindow.close(self)
def _close(self):
"Extend EditorWindow._close(), shut down debugger and execution server"