diff options
| author | Christian Segundo | 2023-12-30 16:05:48 +0100 |
|---|---|---|
| committer | Christian Segundo | 2023-12-31 12:00:02 +0100 |
| commit | df2b48edbb77e40dbd93e1c097b0b1cacde8a74a (patch) | |
| tree | 701e2a8989409c507a239742292a98ee712c2487 /misc/init.sh | |
| parent | 5b010f1047a8ac1203cb1d3b3ce95a0320b84be9 (diff) | |
| download | languagetool-df2b48edbb77e40dbd93e1c097b0b1cacde8a74a.tar.gz | |
bump to 6.3
ensure it never expands to /
Diffstat (limited to 'misc/init.sh')
| -rw-r--r-- | misc/init.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/misc/init.sh b/misc/init.sh index dae150a..dc979c9 100644 --- a/misc/init.sh +++ b/misc/init.sh @@ -15,12 +15,12 @@ for var in ${!LT_*}; do echo "${var#'LT_'}="${!var} >> /tmp/config.properties done -echo JAVAOPTIONS=$JAVAOPTIONS +echo "JAVAOPTIONS=$JAVAOPTIONS" if [ "$EXTRA_LT" = true ]; then EXTRAOPTIONS="${EXTRAOPTIONS} --config /tmp/config.properties" echo config.properties: - echo "$(cat /tmp/config.properties)" + cat /tmp/config.properties fi -echo EXTRAOPTIONS=$EXTRAOPTIONS +echo "EXTRAOPTIONS=$EXTRAOPTIONS" java ${JAVAOPTIONS} -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' ${EXTRAOPTIONS} |