[Python-Dev] Socket timeout patch