R. David Murray added the comment: It has been, see the referenced issue. Now we just need someone to write a patch. ---------- nosy: +r.david.murray _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue16041> _______________________________________