Re: [Python-Dev] API bug in new socket timeout interfaces