From 1253467bb05b69c01dade273d03d0add3ad942cd Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 12 Nov 2020 21:59:04 +0000
Subject: [PATCH] fix

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/global.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/global.rs b/src/global.rs
index 49b68e59..29cceadc 100644
--- 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 {
-- 
2.30.2