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