[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[gpsd-dev] [PATCH 2/3] set a socket timeout for slow serv

From: Beat Bolli
Subject: [gpsd-dev] [PATCH 2/3] set a socket timeout for slow servers.
Date: Thu, 31 Oct 2013 21:11:09 +0100

I have problems connecting to, and setting a socket
timeout at least doesn't block the build process.
--- | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ b/
index 8e3e88e..d624056 100755
--- a/
+++ b/
@@ -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
+del socket
 verbose = 0
 __locations = [

reply via email to

[Prev in Thread] Current Thread [Next in Thread]