Re: bin/165811: kill(1) doesn't terminate a process group with the command "kill -- -117" (from man kill)

2012-03-08 Thread Jaakko Heinonen
On 2012-03-08, Salimane Adjao Moustapha wrote: > with /bin/kill I still have this problem. > > > Fb-bj# ps axjf | grep resque > myuser 17995 1 17993 179930 I ??0:00.11 /usr/local/bin/php > -f scripts/resque/resque.php low > myuser 17996 17995 17993 179930 S ??0:42.24 /

Re: bin/165811: kill(1) doesn't terminate a process group with the command "kill -- -117" (from man kill)

2012-03-07 Thread Salimane Adjao Moustapha
Hi, with /bin/kill I still have this problem. Fb-bj# ps axjf | grep resque myuser 17995 1 17993 179930 I ??0:00.11 /usr/local/bin/php -f scripts/resque/resque.php low myuser 17996 17995 17993 179930 S ??0:42.24 /usr/local/bin/php -f scripts/resque/resque.php low myuse

Re: bin/165811: kill(1) doesn't terminate a process group with the command "kill -- -117" (from man kill)

2012-03-07 Thread jh
Synopsis: kill(1) doesn't terminate a process group with the command "kill -- -117" (from man kill) State-Changed-From-To: open->closed State-Changed-By: jh State-Changed-When: Wed Mar 7 18:20:23 UTC 2012 State-Changed-Why: Salimane Adjao Moustapha wrote: > Terminate the process group with PGID