Antoine Pitrou added the comment: Yes, this is a bug indeed. A patch would be welcome ;-) ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue23146> _______________________________________