diff options
Diffstat (limited to 'ltserver_local_cmd.patch')
| -rw-r--r-- | ltserver_local_cmd.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ltserver_local_cmd.patch b/ltserver_local_cmd.patch new file mode 100644 index 000000000000..bef197edbeb7 --- /dev/null +++ b/ltserver_local_cmd.patch @@ -0,0 +1,14 @@ +diff -ruN a/yalafi/shell/shell.py b/yalafi/shell/shell.py +--- a/yalafi/shell/shell.py 2020-05-27 17:32:05.000000000 +0200 ++++ b/yalafi/shell/shell.py 2020-07-02 21:24:39.811059005 +0200 +@@ -44,9 +44,7 @@ + # on option --server my: use local LT server
+ #
+ ltserver_local = 'http://localhost:8081/v2/check'
+-ltserver_local_cmd = ('java -cp'
+- + ' languagetool-server.jar org.languagetool.server.HTTPServer'
+- + ' --port 8081')
++ltserver_local_cmd = 'languagetool --http --port 8081'
+
+ # config file
+ #
|