manager: reload server properties on server start
services/ping: handle server ip changes correctly