Remove server pinging.
Merge pull request #3219 from pchote/remove-server-pinger

Remove server pinging