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);