Skip to content

LSP_SERVER_EXITED

const LSP_SERVER_EXITED: "$/serverExited" = "$/serverExited"

Sent just before a server’s transport closes, by the server or on its behalf, saying why. A bare close reads the same as a healthy idle one, so without this a dead server looks like a quiet one. $/ because it is implementation-defined, which the protocol permits clients to ignore.