cat out the server properties