On Mar 19, 10:59pm, kpneal@pobox.com ("Kevin P. Neal") wrote:
-- Subject: Re:   rc.d

| Usually. Not always. 
| 
| Case in point: Infoseek's Ultraseek server. 
| 
| Plus, in the Ultraseek case, the parent *must* be killed before the
| child.

so then you can use something like:

runserver
echo $! > /var/pid/foo.pid

then in the stop script
kill first the parent from foo.pid
then the children.

christos