rust/hedgewars-server/src/server/handlers/common.rs
changeset 14691 2071da901c63
parent 14690 f61ce544d436
child 14694 25c564f77b7d
--- a/rust/hedgewars-server/src/server/handlers/common.rs	Wed Feb 06 22:29:02 2019 +0300
+++ b/rust/hedgewars-server/src/server/handlers/common.rs	Wed Feb 06 22:40:38 2019 +0300
@@ -95,6 +95,7 @@
     is_in_game: bool,
     response: &mut Response,
 ) {
+    let mut game_ended = false;
     if let Some(ref mut info) = room.game_info {
         for team_name in &team_names {
             info.left_teams.push(team_name.clone());
@@ -109,9 +110,6 @@
                 );
 
                 info.teams_in_game -= 1;
-                if info.teams_in_game == 0 {
-                    //FinishRoomGame(room.id)
-                }
 
                 let remove_msg = to_engine_msg(once(b'F').chain(team_name.bytes()));
                 if let Some(m) = &info.sync_msg {