diff --git a/dataset_download/etc/dataset_download.conf b/dataset_download/etc/dataset_download.conf new file mode 100644 index 0000000000000000000000000000000000000000..fd1ce955aa6a5b374df3059407ce7dfcfa41b593 --- /dev/null +++ b/dataset_download/etc/dataset_download.conf @@ -0,0 +1,18 @@ +# +# 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 \ No newline at end of file