From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 5 Dec 2020 15:35:40 +0000 (+0000)
Subject: always make tokens
X-Git-Tag: otter-0.2.0~276
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d2ff24c74ec6e562853d33ca61008e9920075c7b;p=otter.git

always make tokens

If we are asked to "redeliver" a token but there isn't one, make one
up.  So now conceptually you have tokens for all your games even if
you don't know what they are yet.

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

diff --git a/src/global.rs b/src/global.rs
index cbd431bc..96b78dda 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -711,6 +711,8 @@ impl<'ig> InstanceGuard<'ig> {
         .collect()
     };
 
+    let reset = reset || current_tokens.is_empty();
+
     let token : RawToken = if reset {
       drop(current_tokens);