diff --git a/ci/bin/run.sh b/ci/bin/run.sh index 5a651da..c6aaf30 100755 --- a/ci/bin/run.sh +++ b/ci/bin/run.sh @@ -3,7 +3,8 @@ set -e set -x -trap 'sudo kill -- -$PGID' EXIT +trap 'kill -- -$PGID' EXIT +#trap 'sudo kill -- -$PGID' EXIT #trap 'sudo kill $(jobs -p)' EXIT #trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT