LSP: Forcefully shutdown uninitialized servers (#7449)

The LSP spec has this to say about initialize:

> Until the server has responded to the `initialize` request with an
> `InitializeResult`, the client must not send any additional requests
> or notifications to the server.

(https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#initialize)

The spec is not really explicit about how to handle this scenario.
Before a client sends the 'initialize' request we are allowed to send an
'exit' notification, but after 'initialize' we can't send any requests
(like shutdown) or notifications (like exit). So my intepretation is
that we should forcefully close the server in this state.

This matches the behavior of Neovim's built-in LSP client:
5ceb2238d3/runtime/lua/vim/lsp.lua (L1610-L1628)
pull/7488/head
Michael Davis 1 year ago committed by GitHub
parent b745fb2551
commit e0bb032f0e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -353,6 +353,11 @@ impl Transport {
} }
} }
fn is_shutdown(payload: &Payload) -> bool {
use lsp_types::request::{Request, Shutdown};
matches!(payload, Payload::Request { value: jsonrpc::MethodCall { method, .. }, .. } if method == Shutdown::METHOD)
}
// TODO: events that use capabilities need to do the right thing // TODO: events that use capabilities need to do the right thing
loop { loop {
@ -391,7 +396,10 @@ impl Transport {
} }
msg = client_rx.recv() => { msg = client_rx.recv() => {
if let Some(msg) = msg { if let Some(msg) = msg {
if is_pending && !is_initialize(&msg) { if is_pending && is_shutdown(&msg) {
log::info!("Language server not initialized, shutting down");
break;
} else if is_pending && !is_initialize(&msg) {
// ignore notifications // ignore notifications
if let Payload::Notification(_) = msg { if let Payload::Notification(_) = msg {
continue; continue;

Loading…
Cancel
Save