##// END OF EJS Templates
re-raise KeyboardInterrupt in raw_input...
MinRK -
Show More
@@ -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