diff options
| author | Michael Davis | 2022-08-31 08:47:18 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-31 08:47:18 +0000 |
| commit | 7547a961bb29b7619cf683a241781041aa208c37 (patch) | |
| tree | c871cbdce06e4f51f3567fb96ee04530e1fdf11f /runtime/queries/cairo | |
| parent | 03f0ef93ac6da58963b32034fd4681e428867d2a (diff) | |
Discard LSP publishDiagnostic when LS is not initialized (#3403)
This is invalid according to the [LSP spec]:
> In addition the server is not allowed to send any requests
> or notifications to the client until it has responded with an
> InitializeResult, with the exception that during the initialize
> request the server is allowed to send the notifications
> window/showMessage, window/logMessage and telemetry/event as well
> as the window/showMessageRequest request to the client.
So we should discard the message when the language server is not
yet initialized. This can happen if the server sends
textDocument/publishDiagnostics before responding to the initialize
request. clojure-lsp appears to exhibit this behavior in the wild.
[LSP Spec]: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#initialize
Diffstat (limited to 'runtime/queries/cairo')
0 files changed, 0 insertions, 0 deletions