rust/hedgewars-server/src/server/handlers/common.rs
changeset 14696 8a45c90f4580
parent 14694 25c564f77b7d
child 14697 f64e21f164a5
--- a/rust/hedgewars-server/src/server/handlers/common.rs	Thu Feb 07 18:04:53 2019 +0300
+++ b/rust/hedgewars-server/src/server/handlers/common.rs	Thu Feb 07 22:26:56 2019 +0300
@@ -226,6 +226,7 @@
 
     response.add(LobbyLeft(nick, msg.to_string()).send_all());
     response.add(Bye("User quit: ".to_string() + &msg).send_self());
+    response.remove_client(client_id);
 }
 
 pub fn get_room_update(