diff options
| author | dianlujitao | 2021-01-18 17:52:52 +0800 |
|---|---|---|
| committer | dianlujitao | 2021-01-18 18:43:58 +0800 |
| commit | 6649ad4edbb314097b115d8aa374e10324156d33 (patch) | |
| tree | 6731b557d37e4127f29c32d65ce4bb96fa47aa6a /ltserver_local_cmd.patch | |
| parent | 3412aba7dca6bc45506cece1e7277c583af81771 (diff) | |
| download | aur-6649ad4edbb314097b115d8aa374e10324156d33.tar.gz | |
Bump to 1.2.0
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
- #
|