Yury Selivanov added the comment: Thanks, Antony, this is a good catch. Your suggestion seems like a good idea. I'll look into this more closely soon. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue20334> _______________________________________