test/scripts/setsid_wrapper.sh

   1 #!/bin/bash
   2
   3 if [[ "$1" == "1" ]]
   4 then
   5         setsid scripts/run_in_venv_with_cleanup.sh $*
   6 else
   7         setsid scripts/run_in_venv_with_cleanup.sh $* &
   8         pid=$!
   9         trap "echo setsid_wrapper.sh: got signal, killing child pid ${pid}; kill ${pid}; sleep .1;" SIGINT SIGTERM
  10         wait ${pid}
  11         exit $?
  12 fi