better handling for leave game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/script.ts b/templates/script.ts
index 1284ff0e93cccc80682bc71faa2f5df634873fa1..893a869dd5eb50e10ba48f0b6dd418b143153483 100644 (file)
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -1166,6 +1166,9 @@ function startup() {
   es.addEventListener('player-gone', function(event) {
     console.log('PLAYER-GONE', event);
     status_node.innerHTML = (event as any).data;
+    add_log_message('<strong>You are no longer in the game</strong>');
+    space.removeEventListener('mousedown', some_mousedown);
+    document.removeEventListener('keydown', some_keydown);
     es.close();
   });
   es.addEventListener('updates-expired', function(event) {