diff options
Diffstat (limited to 'test/scripts/setsid_wrapper.sh')
| -rwxr-xr-x | test/scripts/setsid_wrapper.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/scripts/setsid_wrapper.sh b/test/scripts/setsid_wrapper.sh index e18b6ad5947..6d63426becc 100755 --- a/test/scripts/setsid_wrapper.sh +++ b/test/scripts/setsid_wrapper.sh @@ -3,10 +3,10 @@ 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 + wait ${pid} + exit $? fi |