add game duration to info window

2026-03-19 10:37:39 -07:00
parent 6a23e5da0a
commit 55be92a56f
7 changed files with 33 additions and 7 deletions
@@ -3936,7 +3936,7 @@ Action a_run_server_replay_log(
        use_terminal_colors = true;
      }

-      auto state = make_shared<ServerState>(get_config_filename(args));
+      auto state = make_shared<ServerState>(get_config_filename(args), !replay_log_filename.empty());
      if (args.get<bool>("debug")) {
        state->is_debug = true;
      }