OpenRA/OpenRA — pull request #2845 by ihptru (2013-03-24 15:36:13+00:00)
Title: option to disable bots on server + disable bots on any dedicated server

need to disable bots on any dedicated server because solution for #2540 was not found and appears to be a long term request