rust/hedgewars-server/src/server/handlers.rs
changeset 14796 f5d43f007970
parent 14795 add191d825f4
child 14802 a40139603cde
equal deleted inserted replaced
14795:add191d825f4 14796:f5d43f007970
   205                     LoginResult::Exit => {
   205                     LoginResult::Exit => {
   206                         server.anteroom.remove_client(client_id);
   206                         server.anteroom.remove_client(client_id);
   207                         response.remove_client(client_id);
   207                         response.remove_client(client_id);
   208                     }
   208                     }
   209                 }
   209                 }
   210             } else {
   210             } else if server.clients.contains(client_id) {
   211                 match message {
   211                 match message {
   212                     HWProtocolMessage::Quit(Some(msg)) => {
   212                     HWProtocolMessage::Quit(Some(msg)) => {
   213                         common::remove_client(server, response, "User quit: ".to_string() + &msg);
   213                         common::remove_client(server, response, "User quit: ".to_string() + &msg);
   214                     }
   214                     }
   215                     HWProtocolMessage::Quit(None) => {
   215                     HWProtocolMessage::Quit(None) => {