server.xml changes