abolish now-unused error nfc

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

diff --git a/src/commands.rs b/src/commands.rs
index 2f395204ed1bb1d93e099fcbcfa3fa5137afa618..888ff534d97982406c0176c242a9683c6b786b27 100644 (file)
--- a/src/commands.rs
+++ b/src/commands.rs
@@ -163,7 +163,6 @@ pub enum MgmtError {
   GameCorrupted,
   AccountNotFound(#[from] AccountNotFound),
   PlayerNotFound(#[from] PlayerNotFound),
-  AuthorisationUninitialised,
   PieceNotFound,
   LimitExceeded,
   ServerFailure(String),

diff --git a/src/global.rs b/src/global.rs
index 96b78ddaa9a580d64a8ebc9b74ca0dca7a060851..eda9947788e1d42b43c0b92e793f21ddb7b437a3 100644 (file)
--- a/src/global.rs
+++ b/src/global.rs
@@ -739,7 +739,7 @@ impl<'ig> InstanceGuard<'ig> {
     } else {
 
       let token = match current_tokens.as_slice() {
-        [] => throw!(ME::AuthorisationUninitialised),
+        [] => panic!(), // this possibility was excluded earlier
         [token] => token,
         _ => {
           warn!("duplicate token for {}", player);