diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/start.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/misc/start.sh b/misc/start.sh index 8f3e05e..f550f08 100644 --- a/misc/start.sh +++ b/misc/start.sh @@ -1,3 +1,6 @@ #!/bin/bash -java -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' +EXTRAOPTIONS="" +[ -d "/ngrams" ] && EXTRAOPTIONS=" --languageModel /ngrams " + +java -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' ${EXTRAOPTIONS} |