Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Update server list when leaving a MP lobby #17165
What I mean is when you leave the lobby before the game has started. This is instantly updated when pressing refresh, but does not happen automatically (which is the proposal here). The delay for running games to update the player list seems like a separate issue.