Thomas Heller added the comment: Matthias, can this issue be set to 'fixed' and 'closed' now? __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1292> __________________________________