OpenRA/OpenRA — pull request #3219 by pchote (2013-05-04 11:16:34+00:00)
Title: Remove server pinging

We've now been through a pile of iterations of the server ping implementation, and it's still not working nicely. This removes it for the stable release.