worker: increase send_timeout (Windows can be really slow)

sbourdeauducq · sbourdeauducq · commit bf3c3cdfd808 · 2016-07-03T12:24:43.000+08:00
diff --git a/artiq/master/worker.py b/artiq/master/worker.py
@@ -41,7 +41,7 @@ def log_worker_exception():
 
 
 class Worker:
-    def __init__(self, handlers=dict(), send_timeout=2.0):
+    def __init__(self, handlers=dict(), send_timeout=10.0):
         self.handlers = handlers
         self.send_timeout = send_timeout
 
