Closed ipvych closed 2 years ago
I have not tested it with remote server and local server started using java since my main goal is to allow starting server using shell script provided by my distro. Please report if you have issues starting server using one of those methods.
This is my attempt at fixing #6, this adds new variable
flymake-languagetool-server-command
that is used to launch server. I tried preserving default behavior by allowing symbols to be evaluated in that customization option and setting it to previous commandSome other changes:
flymake-languagetool-server-args
, since now user can just modify command directlyflymake-languagetool--started-server
my thought is that since we check if server process is live when starting it anyway this variable is not really needed, and it may confuse some users since if server stops unexpectedly user cannot relaunch server again until this variable is set to nilflymake-languagetool-server-url
is set, sinceflymake-languagetool-server-jar
may not be always set now if user decides to just modify server command