Lines Matching refs:old_timeout
869 old_timeout = socket.getdefaulttimeout()893 socket.setdefaulttimeout(old_timeout)