On 01/12/2014 04:32 PM, Andrew Barnert wrote: > > Here's a quick patch: Please put the patch on the issue tracker[1]. Create a new issue if an appropriate one does not already exist. Thanks. -- ~Ethan~ [1] http://bugs.python.org