Hello,

Ending the game before making players leave with a loop could potentially save the server from creating hundreds, if not thousands, of unnecessary bots in a day when saving a game. Although they are gracefully handled by GC, it should be better performance wise.