[issue1294] Management of KeyboardInterrupt in cmd.py

Guido van Rossum report at bugs.python.org
Thu Oct 18 18:55:53 CEST 2007

Previous message: [issue1291] test_resource fails on recent linux systems (
Next message: [issue1295] logging records cache the result of formatException()
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Guido van Rossum added the comment:

Would you mind submitting a patch instead of a whole new file?

----------
nosy: +gvanrossum

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

Previous message: [issue1291] test_resource fails on recent linux systems (
Next message: [issue1295] logging records cache the result of formatException()
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Python-bugs-list mailing list