#!/bin/bash
# Respond to SIGTERM by killing all child processes.
if [ "$1" != "--is-child" ]; then
  set -m; "$0" --is-child "$*" & PGID=$(ps -p $! -o pgid=)
  trap "exit" INT TERM;trap "pkill -g $PGID" EXIT;wait;exit
fi
shift