diff options
| author | Beat Bolli <bbolli@ewanet.ch> | 2013-10-31 21:11:09 +0100 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2013-10-31 16:26:27 -0400 |
| commit | 021f14b9606dbff4f866de7cfe4b8ce8d4d80918 (patch) | |
| tree | 97b3ca2d1ae40f9c5aaf47bcf6c7698d63ad00f2 /leapsecond.py | |
| parent | 2e23556015f35ca0a3185fbece8862b2d3ea7ba6 (diff) | |
| download | gpsd-021f14b9606dbff4f866de7cfe4b8ce8d4d80918.tar.gz | |
leapsecond.py: set a socket timeout for slow servers.
I have problems connecting to maia.usno.navy.mil, and setting a socket
timeout at least doesn't block the build process.
Signed-off-by: Eric S. Raymond <esr@thyrsus.com>
Diffstat (limited to 'leapsecond.py')
| -rwxr-xr-x | leapsecond.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/leapsecond.py b/leapsecond.py index 8e3e88ee..d624056c 100755 --- a/leapsecond.py +++ b/leapsecond.py @@ -48,6 +48,11 @@ BSD terms apply: see the file COPYING in the distribution root for details. import os, urllib, re, random, time, calendar, math, sys +# Set a socket timeout for slow servers +import socket +socket.setdefaulttimeout(30) +del socket + verbose = 0 __locations = [ |