diff options
author | silvio | 2018-03-30 10:20:17 +0200 |
---|---|---|
committer | GitHub | 2018-03-30 10:20:17 +0200 |
commit | ec420b8978166b9bc364793e955378c53a8f0853 (patch) | |
tree | 30271ef25af8a3fd7b23a315f4c8c460406a0aa9 /misc/start.sh | |
parent | 53c5b840f2de662c2f966ed75362bdff4e8f522d (diff) | |
parent | 48b78a322c90dd726d1a2295119bfc0bf7b9621a (diff) | |
download | languagetool-ec420b8978166b9bc364793e955378c53a8f0853.tar.gz |
Merge pull request #6 from silvio/ngram-and-rework
Ngram and rework
Diffstat (limited to 'misc/start.sh')
-rw-r--r-- | misc/start.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/misc/start.sh b/misc/start.sh new file mode 100644 index 0000000..f550f08 --- /dev/null +++ b/misc/start.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +EXTRAOPTIONS="" +[ -d "/ngrams" ] && EXTRAOPTIONS=" --languageModel /ngrams " + +java -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' ${EXTRAOPTIONS} |