rust/hedgewars-server/src/server/network.rs
changeset 14673 08a8605bafaf
parent 14672 6e6632068a33
child 14693 6a2e13e36b7f
equal deleted inserted replaced
14672:6e6632068a33 14673:08a8605bafaf
   468         Ok(())
   468         Ok(())
   469     }
   469     }
   470 
   470 
   471     pub fn client_error(&mut self, poll: &Poll, client_id: ClientId) -> io::Result<()> {
   471     pub fn client_error(&mut self, poll: &Poll, client_id: ClientId) -> io::Result<()> {
   472         self.deregister_client(poll, client_id);
   472         self.deregister_client(poll, client_id);
   473         self.server.client_lost(client_id);
   473         let mut response = handlers::Response::new(client_id);
       
   474         handlers::handle_client_loss(&mut self.server, client_id, &mut response);
       
   475         self.flush_server_messages(response);
   474 
   476 
   475         Ok(())
   477         Ok(())
   476     }
   478     }
   477 
   479 
   478     pub fn has_pending_operations(&self) -> bool {
   480     pub fn has_pending_operations(&self) -> bool {