fix

diff --git a/src/global.rs b/src/global.rs
index 8e639ca236355a571670b68333fb2624834fa2d8..fed2c5647d159ed0835ab46559b901edd6dbccab 100644 (file)
--- a/src/global.rs
+++ b/src/global.rs
@@ -646,7 +646,9 @@ impl InstanceGuard<'_> {
       updates.insert(player, Default::default());
     }
     let name = Arc::new(name);
-    // xxx check for deleted players, throw their tokens away
+    access_load.tokens_players.retain(
+      |&(_,player)| gs.players.contains_key(player)
+    );
 
     let g = Instance {
       name, gs, updates,