From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 12 Nov 2020 21:59:04 +0000 (+0000)
Subject: fix
X-Git-Tag: otter-0.2.0~531
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=1253467bb05b69c01dade273d03d0add3ad942cd;p=otter.git

fix

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

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 {