From fe4774d97c2c6faeddd8414829d7fe443d4837aa Mon Sep 17 00:00:00 2001
From: Christian Segundo
Date: Sun, 10 Apr 2022 12:00:33 +0200
Subject: Add support for HTTPServerConfig options

---
 misc/init.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'misc')

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}
-- 
cgit v1.2.3