#1211: a high timeout works better than blocking sockets?

git-svn-id: https://xpra.org/svn/Xpra/trunk@13867 3bb7dfac-3a0b-4e04-842a-767bc560f471

src/xpra/server/server_core.py

@@ -688,7 +688,7 @@ def start_websockify(self, conn, frominfo):
             WIN32 = sys.platform.startswith("win")
             if WIN32:
                 #the HTTP server fails on win32 if we don't use blocking sockets!
-                sock.setblocking(True)
+                sock.settimeout(10.0)
             def new_websocket_client(wsh):
                 netlog("new_websocket_client(%s) socket=%s", wsh, sock)
                 wsc = WebSocketConnection(sock, conn.local, conn.remote, conn.target, conn.socktype, wsh)