Message229726
I don't think that a strsignal() is required, signals now have a name attribute!
Python 3.5.0a0 (default:07ae7bc06af0, Oct 16 2014, 09:46:01)
>>> import signal
>>> signal.SIGINT
<Signals.SIGINT: 2>
>>> signal.SIGINT.name
'SIGINT' |
|
Date |
User |
Action |
Args |
2014-10-20 12:52:59 | vstinner | set | recipients:
+ vstinner, georg.brandl, benjamin.peterson, r.david.murray, Dolda2000 |
2014-10-20 12:52:59 | vstinner | set | messageid: <1413809579.06.0.439051287199.issue22674@psf.upfronthosting.co.za> |
2014-10-20 12:52:59 | vstinner | link | issue22674 messages |
2014-10-20 12:52:58 | vstinner | create | |
|