[issue17182] signal.default_int_handler should set signal number on the raised exception

2016-10-13 Thread Mark Lawrence
Changes by Mark Lawrence : -- nosy: -BreamoreBoy ___ Python tracker ___ ___

[issue17182] signal.default_int_handler should set signal number on the raised exception

2016-10-13 Thread Antoine Pitrou
Antoine Pitrou added the comment: Basically it allows you to call sys.exit() with the right error code. -- ___ Python tracker ___

[issue17182] signal.default_int_handler should set signal number on the raised exception

2016-10-13 Thread Stéphane Wirtel
Stéphane Wirtel added the comment: Hi Antoine and Mark, What's the interest of this "feature" ? Thank you -- nosy: +matrixise ___ Python tracker ___

[issue17182] signal.default_int_handler should set signal number on the raised exception

2014-07-17 Thread Mark Lawrence
Mark Lawrence added the comment: Just a gentle reminder. -- nosy: +BreamoreBoy versions: +Python 3.5 -Python 3.4 ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue17182 ___

[issue17182] signal.default_int_handler should set signal number on the raised exception

2013-02-11 Thread Antoine Pitrou
New submission from Antoine Pitrou: Having a dedicated optional attribute on KeyboardInterrupt receiving the signal number would be useful in certain circumstances, for example if you want to propagate the signal to a child process. -- components: Extension Modules messages: 181894