Glenn Linderman added the comment: Paul, is this ready to merge, or are you thinking of more refinements? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue14191> _______________________________________