# HG changeset patch
# User alfadur
# Date 1560894585 -10800
# Node ID 21e87882df1c947e6b845cefee8d84d48991638b
# Parent  dc94bb5990a0ef71ea01789e4405f78dd9cc0876
remove a 2015ism

diff -r dc94bb5990a0 -r 21e87882df1c rust/hedgewars-server/src/server/network.rs
--- a/rust/hedgewars-server/src/server/network.rs	Mon Jun 17 20:55:11 2019 +0200
+++ b/rust/hedgewars-server/src/server/network.rs	Wed Jun 19 00:49:45 2019 +0300
@@ -349,14 +349,10 @@
     }
 
     fn deregister_client(&mut self, poll: &Poll, id: ClientId) {
-        let mut client_exists = false;
         if let Some(ref client) = self.clients.get(id) {
             poll.deregister(client.socket.inner())
                 .expect("could not deregister socket");
             info!("client {} ({}) removed", client.id, client.peer_addr);
-            client_exists = true;
-        }
-        if client_exists {
             self.clients.remove(id);
             #[cfg(feature = "official-server")]
             self.io.cancel(id);