Conversation
gracefully exit the server
…te to use new lsp revision
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
…t and progress reporting
|
Key idea:
|
…ith a more flexible flaky-test-loop script, update test patterns handling, and improve logging and exit code interpretation.
The worker thread checks this flag before dequeuing each job; if set, it exits immediately, ensuring that no new work is started after shutdown is requested. This mechanism is necessary because some downstream code may swallow async exceptions, making 'cancel' unreliable for stopping the thread in all cases. If 'cancel' does interrupt the thread (e.g., while blocked in STM or in a cooperative job), the thread exits immediately and never checks the TMVar; in such cases, the stop flag is redundant.
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
fendor
left a comment
There was a problem hiding this comment.
LGTM, just some residual files that we likely should get rid of
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
|
windows will still see some broken pipes, but it is not caused by the same gracefully exit issue. |
fendor
left a comment
There was a problem hiding this comment.
Thanks, this looks like a big improvement!
I have added a couple of comments, let me know what you think about it and whether I should address any of them myself.
fendor
left a comment
There was a problem hiding this comment.
Thanks, this looks like a big improvement!
I have added a couple of comments, let me know what you think about it and whether I should address any of them myself.
Co-authored-by: fendor <fendor@users.noreply.github.com>
…111-hputbuf-resource-vanished-broken-pipe---test-option-j1-workaround
|
@fendor Thanks for the review! I’ve addressed the comments and pushed the updates. Please take another look when you have time. |
gracefully exit the server