Terry J. Reedy added the comment: My second patch did fix that. I think I will extract that part immediately. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue8231> _______________________________________