Please, please, don't mail patches to python-dev. They get lost that way. Use the SourceForge patch manager! --Guido van Rossum (home page: http://www.python.org/~guido/)