blob: e18b6ad594734265fe129c2a90d4d78c399049cb (
plain)
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
|
