[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 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[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 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[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 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[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
___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[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
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 rep...@bugs.python.org
http://bugs.python.org/issue17182
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com