ripple/rippled — pull request #702 by vinniefalco (2014-11-08 15:49:11+00:00)
Title: Fixes and improvements to Server, Overlay

Tidying up some loose ends.