Antoine Pitrou added the comment: Ah, ok. Perhaps I should read python-dev before talking about it! ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue15494> _______________________________________