##// END OF EJS Templates
re-raise KeyboardInterrupt in raw_input...
MinRK -
Show More
@@ -766,6 +766,9 b' class Kernel(Configurable):'
766 766 ident, reply = self.session.recv(self.stdin_socket, 0)
767 767 except Exception:
768 768 self.log.warn("Invalid Message:", exc_info=True)
769 except KeyboardInterrupt:
770 # re-raise KeyboardInterrupt, to truncate traceback
771 raise KeyboardInterrupt
769 772 else:
770 773 break
771 774 try:
General Comments 0
You need to be logged in to leave comments. Login now