Lines Matching refs:old_timeout
1127 old_timeout = socket.getdefaulttimeout()1151 socket.setdefaulttimeout(old_timeout)