test/scripts/setsid_wrapper.sh


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/bash

if [[ "$1" == "1" ]]
then
	setsid scripts/run_in_venv_with_cleanup.sh $*
	pid=$!
else
	setsid scripts/run_in_venv_with_cleanup.sh $* &
	pid=$!
	trap "echo setsid_wrapper.sh: got signal, killing child pid ${pid}; kill ${pid}; sleep .1;" SIGINT SIGTERM
	wait
fi