Skip to content

Add grace period#75

Open
ralphlange wants to merge 10 commits intomasterfrom
add-grace-period
Open

Add grace period#75
ralphlange wants to merge 10 commits intomasterfrom
add-grace-period

Conversation

@ralphlange
Copy link
Copy Markdown
Owner

Updated and completed version of @mdavidsaver's grace-period PR #70.
(rebase, add documentation, include in procServUtils, fix Python 3.12 compat issue)

Add --grace-period (short -g) flag. Combine with --killsig to allow time for a graceful child shutdown during procServ shutdown.

By default, no change.
If a killsig other than SIGKILL is selected along with a non-zero grace period, then when procServ receives SIGTERM:

  • send killsig to child
  • wait up to grace-period
  • if child remains, then issue SIGKILL
  • exit procServ

There are some whitespace changes in separate commits.
This PR will be squashed before merging.
(closes #70)

mdavidsaver and others added 8 commits March 31, 2026 09:59
Combines with --killsig to allow time for a graceful child shutdown
during procServ shutdown.

By default, no change.

If a killsig other than SIGKILL is selected, along with a non-zero
grace period, then when procServ receives SIGTERM:

1. Send killsig to child
2. wait up to grace-period
3. If child remains, then issue SIGKILL
4. procServ exit
Co-authored-by: google-labs-jules[bot]
@ralphlange
Copy link
Copy Markdown
Owner Author

@mdavidsaver, @ericonr: please have a look.

@mdavidsaver
Copy link
Copy Markdown
Collaborator

Look good to me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants