rust/hedgewars-server/src/server/core.rs
changeset 14679 b87c71ccd17d
parent 14678 08a8605bafaf
child 14691 9f98086de1b6
equal deleted inserted replaced
14678:08a8605bafaf 14679:b87c71ccd17d
    60         );
    60         );
    61         key
    61         key
    62     }
    62     }
    63 
    63 
    64     pub fn remove_client(&mut self, client_id: ClientId) {
    64     pub fn remove_client(&mut self, client_id: ClientId) {
    65         let client = &self.clients[client_id];
       
    66         let nick = client.nick.clone();
       
    67 
       
    68         if let Some(id) = client.room_id {
       
    69             if id != self.lobby_id {
       
    70                 //MoveToLobby(format!("quit: {}", msg.clone()))
       
    71             }
       
    72         }
       
    73 
       
    74         self.removed_clients.push(client_id);
    65         self.removed_clients.push(client_id);
    75         if self.clients.contains(client_id) {
    66         if self.clients.contains(client_id) {
    76             self.clients.remove(client_id);
    67             self.clients.remove(client_id);
    77         }
    68         }
    78     }
    69     }