diff -r e705d30e0f10 -r b3157d218ae2 rust/hedgewars-server/src/handlers.rs --- 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);