rust/hedgewars-server/src/server/handlers.rs
changeset 14791 b889d9e1115f
parent 14789 18240b308505
child 14795 add191d825f4
equal deleted inserted replaced
14790:e94fbf6cad2b 14791:b889d9e1115f
   335             } else {
   335             } else {
   336                 response.add(ServerAuth(format!("{:x}", info.server_hash)).send_self());
   336                 response.add(ServerAuth(format!("{:x}", info.server_hash)).send_self());
   337                 if let Some(client) = server.anteroom.remove_client(client_id) {
   337                 if let Some(client) = server.anteroom.remove_client(client_id) {
   338                     server.add_client(client_id, client);
   338                     server.add_client(client_id, client);
   339                     let client = &mut server.clients[client_id];
   339                     let client = &mut server.clients[client_id];
       
   340                     client.set_is_registered(info.is_registered);
   340                     client.set_is_admin(info.is_admin);
   341                     client.set_is_admin(info.is_admin);
   341                     client.set_is_contributor(info.is_admin)
   342                     client.set_is_contributor(info.is_admin)
   342                 }
   343                 }
   343             }
   344             }
   344         }
   345         }