Antoine Pitrou added the comment: Oops, sorry for the silence, I had forgotten about this issue. I'll take a look at the patch soon. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue7317> _______________________________________