David Edelsohn added the comment: Michael Felt, The patch was from Michael Haubenwallner. I was addressing Michael Haubenwallner. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue18235> _______________________________________