--- 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 {