enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-24 09:42:40 +03:00
Code Issues Projects Releases Wiki Activity
a234e82ee9
enso/lib/scala/json-rpc-server
History
Hubert Plociniczak 3e615f385b
Improve shutdown logic of language server (#7801) 
* Improve shutdown logic of language server

This PR addresses problems mentioned in #7470 and #7729:
- shutting a language server explicitly will not lead to a soft shutdown
- `project/status` endpoint returns the state of the language server

`LanguageServerController` now also signed up for `ClientConnect`
messages. For it to be unambiguous, we need to carry around the port
number of the language server as a way of identifying the right one.

One can now use `project/status` to additionally determine the state of
the language server.

Also relies on a proper fix for #7765.

* changelog

* PR comments
2023-09-22 12:05:44 +02:00
..
src Improve shutdown logic of language server (#7801) 2023-09-22 12:05:44 +02:00
README.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00

README.md

JSON-RPC Server

This library implements a universal JSON RPC server with a flexible API for defining the message format.