diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-27 12:51:03 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-27 12:51:03 +0100 |
| commit | ef7253c6dfb0b5c601d40999d3027897b5930722 (patch) | |
| tree | f8a337bc9d3fdd60a1a96a5b73129d2a1b510bb9 /.gitattributes | |
| parent | 4af50de0abc81fff51caa2fbadfc31915e63e6a4 (diff) | |
| parent | 36c20dc23d20d1ad277aa197013b837fb83b6501 (diff) | |
Merge #8677
8677: Return ServerNotInitialized according to the spec r=kjeremy a=kjeremy
According to the spec we should return ServerNotInitialized if the server is waiting for an initialize request and something else comes in.
Upgrading to lsp-server 0.5.1 will do this and retry until the initialize request comes in.
Fixes #8581
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions