diff -r 2fc256713d67 Python/bltinmodule.c
--- a/Python/bltinmodule.c	Sun Mar 31 12:51:55 2013 +0100
+++ b/Python/bltinmodule.c	Wed Apr 03 11:36:57 2013 +0100
@@ -1733,6 +1733,7 @@
         }
         s = PyOS_Readline(stdin, stdout, prompt);
         if (s == NULL) {
+            PyErr_CheckSignals();
             if (!PyErr_Occurred())
                 PyErr_SetNone(PyExc_KeyboardInterrupt);
             goto _readline_errors;