cleaned up a few bugs around logging and pinging servers in particular