[issue1294] Management of KeyboardInterrupt in cmd.py

[Guido van Rossum]

Guido van Rossum added the comment:

Hmm...  I don't think this is the right thing to do.  The code is broken
in several ways.  I recommend you find someone to help you come up with
a better patch in comp.lang.python.

----------
keywords: +patch

__________________________________
Tracker <report at bugs.python.org>
<http://bugs.python.org/issue1294>
__________________________________