# # Dataset Download Server configuration file # # # Home directory of the JRE that should be used # #JAVA_HOME=${JAVA_HOME:=/usr/java/latest} # # Options to the JRE # JAVA_OPTS=${JAVA_OPTS:=-server} # # Maximal number of log files to keep # MAXLOGS=5