优化`WebSocket`链接，缓解`linux`下链接可能超时的问题

src/scripts/websocket.js

@@ -12,7 +12,9 @@ function MagicWebSocket(url) {
 	this.listeners = {};
 	this.future = new Promise(r => {
 		this.resolve = r
-		this.socket = new ReconnectingWebSocket(url);
+		this.socket = new ReconnectingWebSocket(url, null, {
+			timeoutInterval: 10000
+		});
 		openedSocket[url] = this
 		this.socket.onmessage = this.messageReceived;
 		this.socket.onconnecting = () => {