keep liveview websocket alive

This commit is contained in:
Evan Almloff committed 2023-01-10 14:41:26 -06:00
1 parent 0e40619b52
commit 6a8fefdfd8
2 files changed
+20 -4

No files matched your search

+14 -2
View File
@@ -12,7 +12,13 @@ class IPC {
let ws = new WebSocket(WS_ADDR);
function ping() {
ws.send("__ping__");
}
ws.onopen = () => {
// we ping every 30 seconds to keep the websocket alive
setInterval(ping, 30000);
ws.send(serializeIpcMessage("initialize"));
};
@@ -21,8 +27,14 @@ class IPC {
};
ws.onmessage = (event) => {
let edits = JSON.parse(event.data);
window.interpreter.handleEdits(edits);
// Ignore pongs
if (event.data != "__pong__") {
let edits = JSON.parse(event.data);
window.interpreter.handleEdits(edits);
}
else {
console.log("ponged");
}
};
this.ws = ws;