added server.properties info