Server now properly reads server-AddrMgr.xml, even with PD options.
Linux shutdown improvements (patch by Petr Pisar)