Lines Matching refs:old_timeout
2464 old_timeout = socket.getdefaulttimeout()2500 socket.setdefaulttimeout(old_timeout)2944 old_timeout = socket.getdefaulttimeout()2969 socket.setdefaulttimeout(old_timeout)