Guido van Rossum added the comment: Georg, would you have time to submit an improved patch? __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1061> __________________________________