diff options
author | stale <redkugelblitzin@gmail.com> | 2022-06-30 07:18:45 -0300 |
---|---|---|
committer | stale <redkugelblitzin@gmail.com> | 2022-06-30 07:18:45 -0300 |
commit | 9a745bb56d592f9b02f94c1d681fe607670fae02 (patch) | |
tree | c8d0ba62c39b22fc3f1c20d88fa1178b8f03f68d /src/livepos.rs | |
parent | f70c1df91afa0a211de0b743da6c0dad59fd23be (diff) |
Diffstat (limited to 'src/livepos.rs')
-rw-r--r-- | src/livepos.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/livepos.rs b/src/livepos.rs index be56b1e..9112755 100644 --- a/src/livepos.rs +++ b/src/livepos.rs @@ -33,7 +33,7 @@ pub async fn livepos(players: PlayerMapData, mut recv: tokio_mpsc::UnboundedRece }, ReqData::StateDump => { dirty.clear(); - dirty.extend(positions.keys().map(|x| *x)); + dirty.extend(positions.keys().copied()); }, ReqData::Quit => { positions.remove(&update.id); |