summarylogtreecommitdiffstats
path: root/ltserver_local_cmd.patch
diff options
context:
space:
mode:
Diffstat (limited to 'ltserver_local_cmd.patch')
-rw-r--r--ltserver_local_cmd.patch14
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
- #