fix

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

diff --git a/src/global.rs b/src/global.rs
index 49b68e595947f32e50ccebaaf17c6c7690504bce..29cceadce3e2f3c3db1211a60fa848be829e10cc 100644 (file)
--- a/src/global.rs
+++ b/src/global.rs
@@ -663,17 +663,17 @@ impl<'ig> InstanceGuard<'ig> {
     };
     
     if reset {
+      self.invalidate_tokens(player)?;
       self.save_access_now()?;
     }
 
     let token : RawToken = if reset {
-      
+
       let token = access
         .override_token()
         .cloned()
         .unwrap_or_else(||{
           RawToken::new_random()
-          // xxx disconnect everyone else
         });
         
       let iad = InstanceAccessDetails {