[New-bugs-announce] [issue17182] signal.default_int_handler should set signal number on the raised exception

[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
nosy: pitrou
priority: normal
severity: normal
status: open
title: signal.default_int_handler should set signal number on the raised exception
type: enhancement
versions: Python 3.4

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue17182>
_______________________________________