diff options
Diffstat (limited to 'ltserver_local_cmd.patch')
| -rw-r--r-- | ltserver_local_cmd.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/ltserver_local_cmd.patch b/ltserver_local_cmd.patch deleted file mode 100644 index bef197edbeb7..000000000000 --- a/ltserver_local_cmd.patch +++ /dev/null @@ -1,14 +0,0 @@ -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
- #
|