Aahz wrote: > Interesting. Nobody has responded, so I suggest first filing a report > using bugs.python.org and then asking on python-dev (with reference to > your report). http://bugs.python.org/issue5340 Cheers, Bob