Refresh Lobby Info Box (#7521)

Content.Server/GameTicking/Commands/ForcePresetCommand.cs

@@ -38,6 +38,7 @@ namespace Content.Server.GameTicking.Commands
 
             ticker.SetGamePreset(type, true);
             shell.WriteLine($"Forced the game to start with preset {name}.");
+            ticker.UpdateInfoText();
         }
     }
 }

Content.Server/GameTicking/GameTicker.Lobby.cs

@@ -28,7 +28,7 @@ namespace Content.Server.GameTicking
         public IReadOnlyDictionary<IPlayerSession, LobbyPlayerStatus> PlayersInLobby => _playersInLobby;
         public IReadOnlySet<NetUserId> PlayersInGame => _playersInGame;
 
-        private void UpdateInfoText()
+        public void UpdateInfoText()
         {
             RaiseNetworkEvent(GetInfoMsg(), Filter.Empty().AddPlayers(_playersInLobby.Keys));
         }

Content.Server/GameTicking/GameTicker.Player.cs

@@ -106,6 +106,8 @@ namespace Content.Server.GameTicking
                     break;
                 }
             }
+            //When the status of a player changes, update the server info text
+            UpdateInfoText();
 
             async void SpawnWaitPrefs()
             {