There's no need for killpg(). We can use kill() instead.
[mmh] / DATE
1 27 April 2008