diff --git a/IPython/zmq/ipkernel.py b/IPython/zmq/ipkernel.py index 93b1ad3..12587a4 100755 --- a/IPython/zmq/ipkernel.py +++ b/IPython/zmq/ipkernel.py @@ -172,7 +172,7 @@ class Kernel(Configurable): self.do_one_iteration() except KeyboardInterrupt: # Ctrl-C shouldn't crash the kernel - continue + io.raw_print("KeyboardInterrupt caught in kernel") def record_ports(self, xrep_port, pub_port, req_port, hb_port): """Record the ports that this kernel is using.