From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 29 Nov 2020 19:56:54 +0000 (+0000)
Subject: handle RemovePlayer for others
X-Git-Tag: otter-0.2.0~303
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=78e504c11a1e03e37255486fe7680d7cde463b5c;p=otter.git

handle RemovePlayer for others

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

diff --git a/templates/script.ts b/templates/script.ts
index 2058f71f..1284ff0e 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -96,7 +96,7 @@ var piece_error_handlers : DispatchTable<PieceErrorHandler> = Object();
 var our_dnd_type = "text/puvnex-game-server-dummy";
 var api_queue : [string, Object][] = [];
 var api_posting = false;
-var us : string;
+var us : PlayerId;
 var gen = 0;
 var cseq : ClientSeq = 0;
 var ctoken : string;
@@ -816,6 +816,11 @@ messages.AddPlayer = <MessageHandler>function
   players[j.player] = j.data;
 }
 
+messages.RemovePlayer = <MessageHandler>function
+(j: { player: string }) {
+  delete players[j.player];
+}
+
 // ----- logs -----
 
 messages.Log = <MessageHandler>function