OpenRA/OpenRA — pull request #3236 by Mailaender (2013-05-09 06:01:21+00:00)
Title: Fixed a desync when the bot controlling client left a dedicated server

See #3228

While I drop all bots in the lobby when the admin leaves for #2957 I did not think about the problems it could cause in-game when the bot controller leaves the game.