diff --git a/.dist/localuser.js b/.dist/localuser.js index b96ed71..053ee5d 100644 --- a/.dist/localuser.js +++ b/.dist/localuser.js @@ -194,6 +194,7 @@ class Localuser { this.handleEvent(temp); }); this.ws.addEventListener("close", event => { + this.ws = undefined; console.log("WebSocket closed with code " + event.code); this.unload(); document.getElementById("loading").classList.remove("doneloading"); diff --git a/webpage/localuser.ts b/webpage/localuser.ts index b407b08..043be1b 100644 --- a/webpage/localuser.ts +++ b/webpage/localuser.ts @@ -204,6 +204,7 @@ class Localuser{ }); this.ws.addEventListener("close", event => { + this.ws=undefined; console.log("WebSocket closed with code " + event.code); this.unload();