| commit | 4e8ef5fcd3e44b848710beac4e9211d4892bdf0f | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Mon Oct 20 23:46:54 1997 +0000 |
| committer | Guido van Rossum <guido@python.org> | Mon Oct 20 23:46:54 1997 +0000 |
| tree | 62f5bd4e80b8bd231653d5dc3aa7659b934285e5 | |
| parent | 1510565cb5efb22604bd81696ebc12ad5781017e [diff] |
Catch KeyboardInterrupt separately and propagate it, instead of reporting a "crash". Use sys.exc_info() instead of sys.exc_type and sys.exc_value.