Lines Matching refs:old_timeout
788 old_timeout = socket.getdefaulttimeout() 812 socket.setdefaulttimeout(old_timeout)