Fix server.xml.