diff options
author | Ben Dennis | 2024-01-17 14:49:25 +0000 |
---|---|---|
committer | GitHub | 2024-01-17 14:49:25 +0000 |
commit | dcdecaab22e87ae8046e15aa461dc2604b1c67ad (patch) | |
tree | c059c1edb32512b864ebd35f8f885baf057047e4 /runtime/themes/gruvbox_dark_hard.toml | |
parent | f41727cc9c3a71ccaec837f358cb3b2362c4c303 (diff) |
Exit a language server if it sends a message with invalid json (#9332)
* Keep lsp event listener thread alive when malformed json is encountered from the lsp server
* Update unexpected error flow in recv() to close outstanding requests and close the language server
* Log malformed notifications as info instead of error
* Make close_language_server a nested function inside recv, similar to what's done in send
* Update malformed notification log text
* Clean up new log text a bit
* Initialize recv_buffer closer to where it's used
* Use "exit" instead of "close"
* Remove whitespace
* Remove the need for a helper method to exit the language server
* Match on Unhandled error explicitly and keep catch-all error case around
Diffstat (limited to 'runtime/themes/gruvbox_dark_hard.toml')
0 files changed, 0 insertions, 0 deletions