Benjamin Peterson added the comment: A dictionary, signal number -> signal name might be more friendly. ---------- nosy: +benjamin.peterson _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue22674> _______________________________________