Guido van Rossum added the comment: Odd. I'll look into it. ---------- assignee: -> gvanrossum nosy: +gvanrossum priority: -> normal __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1393> __________________________________