Skip to content

Spawn children in their own process groups, and deliver SIGINT to each group #177

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
benweint wants to merge 2 commits into
base: master
Choose a base branch
from

Handle delivery of multiple SIGINT signals without exiting

c023d04
Select commit
Loading
Failed to load commit list.
Open

Spawn children in their own process groups, and deliver SIGINT to each group #177

Handle delivery of multiple SIGINT signals without exiting
c023d04
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs