fix mouse reports and improve timeout handling

html/index.html

@@ -250,8 +250,6 @@ window.onload = (event) => {
 	window.addEventListener("keyup", onKeyUp, true);
 
 	socket = new WebSocket("ws://" + window.location.hostname + ":8080/");
-	//socket.onopen = function (event) { document.getElementById("websocket").innerHTML="connected"; };
-	//socket.onclose = function (event) { document.getElementById("websocket").innerHTML="closed"; };
 	socket.onmessage = function (event) { updateLEDs(event.data); };
 }
 
@@ -332,6 +330,11 @@ function sendKeys(curKeys, is_mouse) {
 		} else {
 			socket.send("K: " + curKeys);
 		}
+	} else if (socket.readyState == WebSocket.CLOSED) {
+		socket = new WebSocket("ws://" + window.location.hostname + ":8080/");
+		setTimeout( function () { sendKeys(curKeys, is_mouse); }, 10);
+	} else {
+		setTimeout( function () { sendKeys(curKeys, is_mouse); }, 10);
 	}
 }