Jim Jewett <jimjjewett at gmail.com> added the comment: I think the latest patch is indeed cleaner. ---------- nosy: +Jim.Jewett _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue13897> _______________________________________