diff options
author | Michael Davis | 2022-11-24 02:07:42 +0000 |
---|---|---|
committer | GitHub | 2022-11-24 02:07:42 +0000 |
commit | e6dad960cf77a3a0fae92ee216d31c9dae59b0ec (patch) | |
tree | 3d949a868c7947533b161ba915239f6410ed28bd /.github/workflows/release.yml | |
parent | 1d21683321b9f94161be14b4ec5b506ed1669c7f (diff) |
Drain pending requests on language server termination (#4852)
This prevents a freeze while shutting down when using `efm-langserver`.
`efm-langserver` exits immediately after seeing a shutdown request,
without responding to the request. We block awaiting the reply to the
shutdown request which will never come, so we time out.
This change responds to any pending requests with `Err` saying that the
stream has been closed.
Diffstat (limited to '.github/workflows/release.yml')
0 files changed, 0 insertions, 0 deletions