Martin Panter added the comment: This seems like a good change, and the patch looks correct. ---------- nosy: +martin.panter _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue26822> _______________________________________