[issue1294] Management of KeyboardInterrupt in cmd.py

[BULOT]

BULOT added the comment:

Hello,
Here is my patch for cmd.py 
Regards
stephbul

Added file: http://bugs.python.org/file8566/cmd.py.keyboardinterrupt.patch

__________________________________
Tracker <report at bugs.python.org>
<http://bugs.python.org/issue1294>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cmd.py.keyboardinterrupt.patch
Type: text/x-patch
Size: 794 bytes
Desc: not available
Url : http://mail.python.org/pipermail/python-bugs-list/attachments/20071019/fcfd8142/attachment.bin