diff options
| author | Michael Davis | 2022-05-17 05:45:34 +0000 |
|---|---|---|
| committer | GitHub | 2022-05-17 05:45:34 +0000 |
| commit | 50dd11985c107b9ed1abb7ca4ebc95f02deff9cf (patch) | |
| tree | 7b027f272a7839ad9d4cafcd5a65e40aaee4fdde /runtime/tutor.txt | |
| parent | 0258cf45f300eb2ac1119be4186a83bfa5835bd9 (diff) | |
prevent panic when handling an LSP response with no request (#2475)
A language server may push a response which doesn't belong to any
request. With this change, we discard the response rather than
crashing.
In the case of #2474, the language server sends an error message
with a null request ID which should not ever exist in the
`pending_requests` HashMap.
closes #2474
Diffstat (limited to 'runtime/tutor.txt')
0 files changed, 0 insertions, 0 deletions