>> Correct. That's what the long-standing bug #411881 is about. It >> just deals with the standard library however, and doesn't delve into >> the stuff in Tools, Demos, etc.
Guido> That's OK. But I don't understand why that bug would provide an Guido> argument for special-casing KeyboardInterrupt.
It doesn't. It's just that KeyboardInterrupt is more like SystemExit than like a real error condition.