Christian Heimes added the comment: I consider the bug fixed and closed. Objections? ---------- status: open -> closed __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1415> __________________________________