Martin Panter added the comment: Yeah I see your point. Anyway I think the current patch is fine. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue27507> _______________________________________