rust/hedgewars-server/src/core/server.rs
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));