Merge pull request #3005 from schdief/patch-1

ignore if kill can't find pid that is already gone
This commit is contained in:
Tõnis Tiigi
2022-08-24 17:13:03 -07:00
committed by GitHub

View File

@@ -19,7 +19,7 @@ set -eu
# * addr
# * log
tmp=$(mktemp -d /tmp/buildctl-daemonless.XXXXXX)
trap "kill \$(cat $tmp/pid); wait \$(cat $tmp/pid) || true; rm -rf $tmp" EXIT
trap "kill \$(cat $tmp/pid) || true; wait \$(cat $tmp/pid) || true; rm -rf $tmp" EXIT
startBuildkitd() {
addr=