Server now properly reads server-AddrMgr.xml, even with PD options.