OpenRA/OpenRA — pull request #2472 by SamRH (2012-11-13 04:18:05+00:00)
Title: Server Shutdown Removes Game from Master List

When the server is shutdown the master server is pinged with a state that
causes the server to be removed from the list.

This means that if a server shuts down correctly it will be removed from the server list right away. Some changes have been made to the MasterServer to go with this.