aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/release.yml
diff options
context:
space:
mode:
authorMichael Davis2022-11-24 02:07:42 +0000
committerGitHub2022-11-24 02:07:42 +0000
commite6dad960cf77a3a0fae92ee216d31c9dae59b0ec (patch)
tree3d949a868c7947533b161ba915239f6410ed28bd /.github/workflows/release.yml
parent1d21683321b9f94161be14b4ec5b506ed1669c7f (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