Christian Heimes added the comment: The issue isn't fixed yet. The script is still eating precious memory. ---------- nosy: +gvanrossum, tiran priority: high -> urgent __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1134> __________________________________