diff options
author | Horacio Sanson <horacio@allm.net> | 2019-06-05 00:31:56 +0900 |
---|---|---|
committer | Horacio Sanson <horacio@allm.net> | 2019-06-05 00:50:23 +0900 |
commit | 5ce97f8cdb285b86a4891fde6dcd14283bc2756f (patch) | |
tree | a3096530d1c298c4be7a13beb53df0cf17ebdd8e /ale_linters/crystal | |
parent | 42a1fc2d29d710687504043dbb746eefb8248781 (diff) | |
download | ale-5ce97f8cdb285b86a4891fde6dcd14283bc2756f.zip |
Fix javalsp command callback.
The command used to invoke the language server is missing some options
to include additional java modules. Without these modules the server
was not working properly.
The correct command can be found in a `launcher` script on the same
directory the `java` executable for the language server is found.
This commit changes the docs to prefer the launcher script over the java
executable. For backward compatibility it also fixes the command
invocation in case the java executable is configured.
Diffstat (limited to 'ale_linters/crystal')
0 files changed, 0 insertions, 0 deletions