Martin v. Löwis <mar...@v.loewis.de> added the comment: I wonder whether there is a precedent of some system mapping SIGINT to an exception. We could probably learn something from them.
> - should KeyboardInterrupt always exit with SIGINT, or only if it was > actually raised by a signal handler? IMO, if we give the illusion that the interpreter was actually killed, we should equate KeyboardInterrupt with SIGINT; any uncaught KeyboardInterrupt should consequently always lead to raising SIGINT. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue1054041> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
