ruff
[ty] Fix server hang after shutdown request
#18414
Merged
Overview
Commits
6
Changes
View On GitHub

[ty] Fix server hang after shutdown request #18414

MichaReiser merged 6 commits into main from micha/server-shutdown
MichaReiser
MichaReiser [ty] Fix server doesn't exit after shutdown
268adf2a
MichaReiser MichaReiser added server
MichaReiser MichaReiser added ty
MichaReiser MichaReiser added server
MichaReiser MichaReiser added ty
github-actions
MichaReiser
MichaReiser commented on 2025-06-01
MichaReiser MichaReiser marked this pull request as ready for review 280 days ago
MichaReiser MichaReiser requested a review from carljm carljm 280 days ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 280 days ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 280 days ago
MichaReiser MichaReiser requested a review from dcreager dcreager 280 days ago
MichaReiser MichaReiser changed the title [ty] Fix server doesn't exit after shutdown [ty] Fix server hang after shutdown request 280 days ago
AlexWaygood AlexWaygood removed review request from AlexWaygood AlexWaygood 280 days ago
MichaReiser
MichaReiser commented on 2025-06-01
MichaReiser Fix panic hook deregistration
8a2a4fb6
MichaReiser MichaReiser force pushed from ec408287 to 8a2a4fb6 280 days ago
MichaReiser Clippy
cb324edd
MichaReiser Handle panicking case
0ff00940
MichaReiser
MichaReiser commented on 2025-06-01
MichaReiser Update crates/ty_server/src/server.rs
72a80d7a
dhruvmanila
dhruvmanila approved these changes on 2025-06-02
MichaReiser
MichaReiser Make shutdown a sync request handler, review feedback
4abba694
MichaReiser MichaReiser enabled auto-merge (squash) 280 days ago
MichaReiser MichaReiser merged 1e6d76c8 into main 280 days ago
MichaReiser MichaReiser deleted the micha/server-shutdown branch 280 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
server ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum