rust/hedgewars-server/src/server/handlers/common.rs
changeset 14696 8a45c90f4580
parent 14694 25c564f77b7d
child 14697 f64e21f164a5
equal deleted inserted replaced
14695:216d39de1a44 14696:8a45c90f4580
   224 
   224 
   225     server.remove_client(client_id);
   225     server.remove_client(client_id);
   226 
   226 
   227     response.add(LobbyLeft(nick, msg.to_string()).send_all());
   227     response.add(LobbyLeft(nick, msg.to_string()).send_all());
   228     response.add(Bye("User quit: ".to_string() + &msg).send_self());
   228     response.add(Bye("User quit: ".to_string() + &msg).send_self());
       
   229     response.remove_client(client_id);
   229 }
   230 }
   230 
   231 
   231 pub fn get_room_update(
   232 pub fn get_room_update(
   232     room_name: Option<String>,
   233     room_name: Option<String>,
   233     room: &HWRoom,
   234     room: &HWRoom,