Martin v. Löwis added the comment: Thanks; closing this report as "won't fix", then. ---------- resolution: -> wont fix status: open -> closed __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue2139> __________________________________