Antoine Pitrou <pitrou at free.fr> added the comment: Not sure that silencing errors from quit() is the right thing. Is there any reason? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue9795> _______________________________________