in reply to killing child processes

fork() returns the PID of your child process. So it would be a lot simpler just to remember these values than to do a `ps`. But if you are doing a lot of exec, then that is not so useful cos exec() doesn't return; and if this script is a separate process, ditto.

dave hj~