Change PingResult and other things
Merge branch 'master' of https://github.com/vchu/hri7633