diff options
| author | Christian Segundo | 2022-04-10 12:07:27 +0200 |
|---|---|---|
| committer | GitHub | 2022-04-10 12:07:27 +0200 |
| commit | 2fe33cbcb6a05e45d990fa1e21ac7ff42f2bc603 (patch) | |
| tree | 2bdbf1c5e7cf336a95cf97309434ebd2cd000e71 /misc/init.sh | |
| parent | 73279ea16cfc28856302ac7ecdfe28026507f060 (diff) | |
| parent | fe4774d97c2c6faeddd8414829d7fe443d4837aa (diff) | |
| download | languagetool-2fe33cbcb6a05e45d990fa1e21ac7ff42f2bc603.tar.gz | |
Merge pull request #2 from someone-stole-my-name/feature/httpserveroptions
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} |