blob: 6d63426becc08f6141eb167d9985c734e9e02f64 (
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 $*
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 ${pid}
exit $?
fi
|
