rust/hedgewars-server/src/handlers.rs
changeset 15519 b3157d218ae2
parent 15518 e705d30e0f10
child 15520 fd3a20e9d095
--- a/rust/hedgewars-server/src/handlers.rs	Sat Dec 21 00:26:17 2019 +0300
+++ b/rust/hedgewars-server/src/handlers.rs	Sat Dec 21 23:33:50 2019 +0300
@@ -259,7 +259,7 @@
                         response.remove_client(client_id);
                     }
                 }
-            } else if server.clients.contains(client_id) {
+            } else if server.has_client(client_id) {
                 match message {
                     HwProtocolMessage::Quit(Some(msg)) => {
                         common::remove_client(server, response, "User quit: ".to_string() + &msg);