Ezio Melotti <ezio.melotti at gmail.com> added the comment: Thanks Piotr for the patch and Brian for closing the issue! ---------- nosy: +ezio.melotti _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue9359> _______________________________________