rust/hedgewars-server/src/server/core.rs
changeset 14695 b87c71ccd17d
parent 14694 08a8605bafaf
child 14707 9f98086de1b6
--- a/rust/hedgewars-server/src/server/core.rs	Mon Feb 04 20:25:35 2019 +0300
+++ b/rust/hedgewars-server/src/server/core.rs	Mon Feb 04 23:41:18 2019 +0300
@@ -62,15 +62,6 @@
     }
 
     pub fn remove_client(&mut self, client_id: ClientId) {
-        let client = &self.clients[client_id];
-        let nick = client.nick.clone();
-
-        if let Some(id) = client.room_id {
-            if id != self.lobby_id {
-                //MoveToLobby(format!("quit: {}", msg.clone()))
-            }
-        }
-
         self.removed_clients.push(client_id);
         if self.clients.contains(client_id) {
             self.clients.remove(client_id);