Serhiy Storchaka added the comment: The patch also fixes issue814253. If there are no objections I'll commit it soon. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue9179> _______________________________________