Thijs Triemstra <lists at collab.nl> added the comment: Guess it can be closed then. ---------- nosy: +thijs _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue3212> _______________________________________