##// END OF EJS Templates
Merge pull request #3787 from minrk/raw_input_sigint...
Min RK -
r11760:2000e417 merge
parent child Browse files
Show More
@@ -263,7 +263,13 b' class Pdb(OldPdb):'
263
263
264 def interaction(self, frame, traceback):
264 def interaction(self, frame, traceback):
265 self.shell.set_completer_frame(frame)
265 self.shell.set_completer_frame(frame)
266 OldPdb.interaction(self, frame, traceback)
266 while True:
267 try:
268 OldPdb.interaction(self, frame, traceback)
269 except KeyboardInterrupt:
270 self.shell.write("\nKeyboardInterrupt\n")
271 else:
272 break
267
273
268 def new_do_up(self, arg):
274 def new_do_up(self, arg):
269 OldPdb.do_up(self, arg)
275 OldPdb.do_up(self, arg)
@@ -766,6 +766,9 b' class Kernel(Configurable):'
766 ident, reply = self.session.recv(self.stdin_socket, 0)
766 ident, reply = self.session.recv(self.stdin_socket, 0)
767 except Exception:
767 except Exception:
768 self.log.warn("Invalid Message:", exc_info=True)
768 self.log.warn("Invalid Message:", exc_info=True)
769 except KeyboardInterrupt:
770 # re-raise KeyboardInterrupt, to truncate traceback
771 raise KeyboardInterrupt
769 else:
772 else:
770 break
773 break
771 try:
774 try:
General Comments 0
You need to be logged in to leave comments. Login now