PR #1827 Better graceful shutdown.

Better graceful shutdown. #1827

Narsil merged 3 commits into main from graceful_shutdown

Better graceful shutdown.

e2ab1228

Fixing `Child.kill()` to replace it with regular signal.

7149f360

Reuse our wrapper.

17a0ddd2

Narsil requested a review from

OlivierDehaene 1 year ago

fxmarty approved these changes on 2024-04-29

OlivierDehaene approved these changes on 2024-04-29

Narsil merged eade7377 into main 1 year ago

Narsil deleted the graceful_shutdown branch 1 year ago

Reviewers

OlivierDehaene

fxmarty

Assignees

No one assigned

Labels

None yet

Milestone

No milestone