Skip to content
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.

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

Automatically get group id by pid, and change some default value #102

Merged
merged 1 commit into from
Dec 9, 2022

Conversation

karajan1001
Copy link
Contributor

When using killpg, we need to call with group id instead of pid.

related to #100

  1. Get group id by pid for killpg
  2. Modify kill and terminate 's default groups to False for better compatibility.

@karajan1001 karajan1001 requested a review from pmrowla December 9, 2022 07:13
@karajan1001 karajan1001 self-assigned this Dec 9, 2022
@karajan1001 karajan1001 force-pushed the auto_get_gpid branch 2 times, most recently from 643ace0 to 892deb4 Compare December 9, 2022 07:30
@karajan1001 karajan1001 force-pushed the auto_get_gpid branch 6 times, most recently from b011e5a to d4f558d Compare December 9, 2022 09:03
When using killpg, we need to call with group id instead of pid

1. Get group id by pid for `killpg`
2. Modify `kill` and `terminate` 's default group to `False` for better
   compatibility.

Co-authored-by: Peter Rowlands (변기호) <[email protected]>
@karajan1001 karajan1001 merged commit 80e11d3 into main Dec 9, 2022
@karajan1001 karajan1001 deleted the auto_get_gpid branch December 9, 2022 09:33
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