diff options
author | Michael Davis | 2023-06-28 20:59:13 +0000 |
---|---|---|
committer | GitHub | 2023-06-28 20:59:13 +0000 |
commit | d3f8e0592bd577489369e5bd00cddf159f107a24 (patch) | |
tree | d7c2fbd901c7e53d3a4a80bcbf23fb1487a1a1a0 /book/theme | |
parent | 4a2337d828c6c2fa7c0e46052e4c8a62dbd4737d (diff) |
LSP: Discard publishDiagnostic from uninitialized servers (#7467)
The spec explicitly disallows publishDiagnostic to be sent before
the initialize response:
> ... the server is not allowed to send any requests or notifications to
> the client until it has responded with an InitializeResult ...
(https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#initialize)
But if a non-compliant server sends this we currently panic because we
'.expect()' the server capabilities to be known to fetch the position
encoding. Instead of panicking we can discard the notification and log
the non-compliant behavior.
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions