diff options
author | Michael Davis | 2022-11-19 04:14:36 +0000 |
---|---|---|
committer | GitHub | 2022-11-19 04:14:36 +0000 |
commit | 8be2d1dcbfeff88f47b8bfb9685f2ab45a72efb5 (patch) | |
tree | 4526d557af97febb6b52f2b9676581eb2fae549a /xtask/src/themelint.rs | |
parent | 598bd8bf11b0f6ee6cf8b59c3415fa0d5d6cd1ff (diff) |
Handle language server termination (#4797)
This change handles a language server exiting. This was a UX sore-spot:
if a language server crashed, Helix did not recognize the exit and
continued to send requests to it. All requests would timeout since they
would not receive responses. This would also hold-up Helix closing
itself down since it would try to gracefully shutdown the server which
is implemented in the LSP spec as a request.
We could attempt to automatically restart the language server on crash.
I left this for future work since that change will need to be slightly
complicated: it will need to cover the case of a language server
repeatedly crashing.
Diffstat (limited to 'xtask/src/themelint.rs')
0 files changed, 0 insertions, 0 deletions