chiark / gitweb /
a todo
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Nov 2020 23:20:55 +0000 (23:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Nov 2020 23:20:55 +0000 (23:20 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/commands.rs

index 589b0faf7bfe895b261d9183c777c23fb1841def..68772a216d1ef4be10086ab5f9327c1cf5117107 100644 (file)
@@ -80,6 +80,7 @@ pub enum MgmtGameInstruction {
 
   JoinGame { details: MgmtPlayerDetails },
   UpdatePlayer { player: PlayerId, details: MgmtPlayerDetails },
+//  LeaveGame(PlayerId), xxx and in otter cli too
 
   ClearLog,
   SetACL { acl: Acl<TablePermission> },