[issue1294] Management of KeyboardInterrupt in cmd.py

[Guido van Rossum]

Guido van Rossum added the comment:

I've added developer status to your username. Let me know if it doesn't
work.

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