Fixes to MongoS HA and ping strategy #927