diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-10 16:14:02 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-10 16:14:02 +0100 |
| commit | 58711bda3d498fea6bf8ab07d4d25a1ac04cdfcd (patch) | |
| tree | b5c91a8daa3c9461b1e9305ae141ece3907b4d9f /xtask/src/metrics.rs | |
| parent | cef39c3efb98e5ece42bb72c14d96388380a308c (diff) | |
| parent | cf6d14cee7fee17ed668f502de5042136446945b (diff) | |
Merge #5696
5696: Return InvalidRequest if Shutdown has been requested r=kjeremy a=kjeremy
From the LSP 3.16 spec: "If a server receives requests after a shutdown request those requests should error with InvalidRequest."
Realized this behavior was missing while looking at #5693. Question on notification behavior is tracked at https://github.com/microsoft/language-server-protocol/issues/1066
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'xtask/src/metrics.rs')
0 files changed, 0 insertions, 0 deletions