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 cbd431bc9d99b19554f73560f5ab90a5bffb78cf..96b78ddaa9a580d64a8ebc9b74ca0dca7a060851 100644 (file)
--- 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);