Skip to content

Conversation

@iluuu1994
Copy link
Member

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
@iluuu1994
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.

@iluuu1994
Copy link
Member Author

I'll see if I can switch to pgrep.

Yay, that worked 🙂

@iluuu1994 iluuu1994 closed this in ecc3fc1 Sep 8, 2022
iluuu1994 added a commit that referenced this pull request Sep 8, 2022
@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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants