1 files changed, 13 insertions, 0 deletions
diff --git a/misc/init.sh b/misc/init.sh
index 5681037..dae150a 100644
--- a/misc/init.sh
+++ b/misc/init.sh
@@ -10,4 +10,17 @@ if [ -d "/ngrams" ]; then
     fi
 fi
 
+for var in ${!LT_*}; do
+  EXTRA_LT=true
+  echo "${var#'LT_'}="${!var} >> /tmp/config.properties
+done
+
+echo JAVAOPTIONS=$JAVAOPTIONS
+if [ "$EXTRA_LT" = true ]; then
+  EXTRAOPTIONS="${EXTRAOPTIONS} --config /tmp/config.properties"
+    echo config.properties:
+    echo "$(cat /tmp/config.properties)"
+fi
+echo EXTRAOPTIONS=$EXTRAOPTIONS
+
 java ${JAVAOPTIONS} -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' ${EXTRAOPTIONS}