Georg Brandl added the comment: Good idea! I've committed these changes in r61212. __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue2217> __________________________________