-
Notifications
You must be signed in to change notification settings - Fork 6
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
MP3.sc: actually kill started processes #1
base: master
Are you sure you want to change the base?
Conversation
mortuosplango
commented
Feb 11, 2016
- unixCmd doesn't return cmd PID but PID of shell containing command (see unixCmd adds "sh -c" to the command supercollider/supercollider#1738)
- kill therefore in some cases didn't kill the cmd
- use pkill to kill whole group
- unixCmd doesn't return cmd PID but PID of shell containing command (see supercollider/supercollider#1738) - kill therefore in some cases didn't kill the cmd - use pid.neg to kill whole group as per supercollider/supercollider#1738 (comment)
- kill -- -GPID doesn't seem to work reliably on a mac - pkill does the same job in this context (kills the direct children)
I just tested using pkill manually. It kills the children of that process but it doesn't kill that pid.
I ran it and while it did kill the children, the parent is still running. |
That's a bit annoying. It seems to somehow do it on OSX 10.10:
Time to find a different way I suppose |
What about using |
Yeah, that doesn't work reliably on my mac somehow. That term is not in my "man kill" so I suppose it's a linux thing. |
I tried the negative thing too. It totally didn't work on OSX. grr |