From d2ff24c74ec6e562853d33ca61008e9920075c7b Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 5 Dec 2020 15:35:40 +0000
Subject: [PATCH] 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>
---
 src/global.rs | 2 ++
 1 file changed, 2 insertions(+)

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);
 
-- 
2.30.2