changeset 15848 | 3d05bada4799 |
parent 15804 | 747278149393 |
child 15882 | f185e7367dd3 |
--- a/rust/hedgewars-server/src/core/server.rs Tue May 10 02:59:11 2022 +0300 +++ b/rust/hedgewars-server/src/core/server.rs Wed May 11 13:48:55 2022 +0200 @@ -258,6 +258,11 @@ .unwrap_or(false) } + #[inline] + pub fn is_checker(&self, client_id: ClientId) -> bool { + self.checkers.contains(client_id) + } + pub fn add_client(&mut self, client_id: ClientId, data: HwAnteroomClient) { if data.is_checker { self.checkers.insert(client_id, HwChecker::new(client_id));