| Klement Sekera | db4e84c | 2017-08-11 10:06:15 +0200 | [diff] [blame^] | 1 | #!/bin/bash |
| 2 | |||||
| 3 | if [[ "$1" == "1" ]] | ||||
| 4 | then | ||||
| 5 | setsid scripts/run_in_venv_with_cleanup.sh $* | ||||
| 6 | pid=$! | ||||
| 7 | else | ||||
| 8 | setsid scripts/run_in_venv_with_cleanup.sh $* & | ||||
| 9 | pid=$! | ||||
| 10 | trap "echo setsid_wrapper.sh: got signal, killing child pid ${pid}; kill ${pid}; sleep .1;" SIGINT SIGTERM | ||||
| 11 | wait | ||||
| 12 | fi | ||||