From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 14 Jan 2021 01:13:11 +0000 (+0000)
Subject: infopane: temporarly mark ipl as unused
X-Git-Tag: otter-0.3.0~9
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=8e159e8f8716ea9586dd20f084ca0e6ff7a92cea;p=otter.git

infopane: temporarly mark ipl as unused

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

diff --git a/src/global.rs b/src/global.rs
index bf63e69d..a50d2b8a 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -420,7 +420,7 @@ impl Instance {
       account: &'r str,
     };
     let players = self.gs.players.iter().filter_map(|(player, gpl)| {
-      let ipl = self.iplayers.get(player)?;
+      let _ipl = self.iplayers.get(player)?;
       let (idx, _) = player.data().get_idx_version();
       Some(RenderPlayer {
         player_num: idx,