Lines Matching refs:old_timeout
712 old_timeout = socket.getdefaulttimeout()717 socket.setdefaulttimeout(old_timeout)
