[issue1294] Management of KeyboardInterrupt in cmd.py

[Guido van Rossum]

Changes by Guido van Rossum <guido at python.org>:


Removed file: http://bugs.python.org/file8578/unnamed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue1294>
_______________________________________