Set default socket timeout to 30s.

Changed files:
    PLD_Builder/request_handler_server.py -> 1.6

diff --git a/PLD_Builder/request_handler_server.py b/PLD_Builder/request_handler_server.py
index 34fe54662020050555bf62ed67cdfae6de380ef9..ae53597e165d47c9b7ff9924e2adc6ef136acac0 100644 (file)
--- a/PLD_Builder/request_handler_server.py
+++ b/PLD_Builder/request_handler_server.py
@@ -1,5 +1,6 @@
 #!/usr/bin/python
 
+import socket
 import string
 import cgi
 import time
@@ -47,6 +48,7 @@ class MyHandler(BaseHTTPRequestHandler):
                        pass
 
 def main():
+       socket.setdefaulttimeout(30)
        try:
                init_conf()
                host = ""