| Age | Commit message (Collapse) | Author |
|---|
|
Switches to the built-in launcher provided upstream. This adds Python as
a necessary dependency.
|
|
* Use sh instead of bash as no bash features are used
* Use exec for letting the script terminate properly on signals
|
|
Use the configuration options now available for marking the existing
config area as immutable instead of copying it to a temporary folder for
the execution time of the server.
|
|
As the configuration area needs to be writable, copy it to a temporary
folder before starting jdtls and remove it after exit.
|
|
|