diff options
| author | Christian Segundo | 2022-04-10 12:00:33 +0200 |
|---|---|---|
| committer | Christian Segundo | 2022-04-10 12:03:30 +0200 |
| commit | fe4774d97c2c6faeddd8414829d7fe443d4837aa (patch) | |
| tree | 2bdbf1c5e7cf336a95cf97309434ebd2cd000e71 /misc/init.sh | |
| parent | 73279ea16cfc28856302ac7ecdfe28026507f060 (diff) | |
| download | languagetool-fe4774d97c2c6faeddd8414829d7fe443d4837aa.tar.gz | |
Add support for HTTPServerConfig options
Diffstat (limited to 'misc/init.sh')
| -rw-r--r-- | misc/init.sh | 13 |
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} |