show how to view generated server.xml