rust/hedgewars-server/src/handlers.rs
changeset 15519 b3157d218ae2
parent 15518 e705d30e0f10
child 15520 fd3a20e9d095
equal deleted inserted replaced
15518:e705d30e0f10 15519:b3157d218ae2
   257                     LoginResult::Exit => {
   257                     LoginResult::Exit => {
   258                         server.anteroom.remove_client(client_id);
   258                         server.anteroom.remove_client(client_id);
   259                         response.remove_client(client_id);
   259                         response.remove_client(client_id);
   260                     }
   260                     }
   261                 }
   261                 }
   262             } else if server.clients.contains(client_id) {
   262             } else if server.has_client(client_id) {
   263                 match message {
   263                 match message {
   264                     HwProtocolMessage::Quit(Some(msg)) => {
   264                     HwProtocolMessage::Quit(Some(msg)) => {
   265                         common::remove_client(server, response, "User quit: ".to_string() + &msg);
   265                         common::remove_client(server, response, "User quit: ".to_string() + &msg);
   266                     }
   266                     }
   267                     HwProtocolMessage::Quit(None) => {
   267                     HwProtocolMessage::Quit(None) => {