From 5cd1ae1591af07d8ac8c46da59dd594e97e1dd03 2011-05-26 12:32:05
From: Thomas Kluyver <takowl@gmail.com>
Date: 2011-05-26 12:32:05
Subject: [PATCH] Add message when kernel catches KeyboardInterrupt.

---

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.