[issue1294] Management of KeyboardInterrupt in cmd.py

[Guido van Rossum]

Guido van Rossum added the comment:

To mark things for the bugday, set the 'easy' keyword.

However, this particular one is IMO too subtle for a bugday, witness the
discussion here.  Perhaps a bugday could come up with an ultimate patch,
but I'd be hesitant to submit it without having reviewed it personally.

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