STINNER Victor added the comment: 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' ---------- nosy: +haypo _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue22674> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
