|
#!/bin/sh
|
|
set -e
|
|
DIR=$(dirname "$0")
|
|
|
|
. "$1"
|
|
|
|
# Set up child jobs
|
|
|
|
"$DIR/wait_for_pid_exit.sh" job $$ &
|
|
"$DIR/wait_for_pid_exit.sh" disowned $$ &
|
|
builtin disown || echo "shell does not support disown"
|
|
|
|
# Wait for jobs to actually start.
|
|
sleep 0.01s
|
|
|
|
kill_child_jobs
|