Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Use PDEATHSIG to kill cli-server workers if parent exits #9476

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

Closed
iluuu1994 wants to merge 3 commits into php:master from iluuu1994:cli-server-pdeathsig

Conversation

Copy link
Member

@iluuu1994 iluuu1994 commented Sep 2, 2022

No description provided.

@iluuu1994 iluuu1994 changed the title (削除) Use PDEATHSIG to kill cli-server workers if parent exists (削除ここまで) (追記) Use PDEATHSIG to kill cli-server workers if parent exits (追記ここまで) Sep 2, 2022
Copy link
Member Author

Oh, it doesn't look like FreeBSDs ps has a ppid filter 🙁
https://www.freebsd.org/cgi/man.cgi?ps(1)

I'll see if I can switch to pgrep.

Copy link
Member Author

I'll see if I can switch to pgrep.

Yay, that worked 🙂
devnexen reacted with rocket emoji

@iluuu1994 iluuu1994 deleted the cli-server-pdeathsig branch March 21, 2023 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cmb69 cmb69 cmb69 left review comments

@devnexen devnexen devnexen left review comments

Assignees
No one assigned
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /