usethesource / rascal-language-servers

An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
BSD 2-Clause "Simplified" License
10 stars 7 forks source link

Update automatically installed jvm version #273

Closed DavyLandman closed 9 months ago

DavyLandman commented 1 year ago

Is your feature request related to a problem? Please describe. We have an automatic install of jvm, but it's not getting updated to a newer release once the provider of the jdk.

Describe the solution you'd like Ask the user to approve an update, or optionally, do it automatically.

Describe alternatives you've considered None, we should be upgrading due to security patches etc.

DavyLandman commented 9 months ago

This is implemented and merged.