From d6438e30f25bcefd099f5b9cd36de6427ec6b901 Mon Sep 17 00:00:00 2001 From: djairoh Date: Tue, 9 May 2023 17:58:11 +0200 Subject: [PATCH] slightly more efficient if else structure --- src/update_players.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/update_players.rs b/src/update_players.rs index fdb4f03..8a079f1 100644 --- a/src/update_players.rs +++ b/src/update_players.rs @@ -31,10 +31,9 @@ pub fn update_players( } } - if !active.is_empty() { - let cur = active.first_entry().unwrap().remove(); - update_prefix(cfg, &mut data.display_prefix, cur.identity()); - data.current_player = Some(cur); + if let Some((_, player)) = active.pop_first() { + update_prefix(cfg, &mut data.display_prefix, player.identity()); + data.current_player = Some(player); } else { data.current_player = None; }