diff options
author | Mike Gerwitz <mike.gerwitz@ryansg.com> | 2021-03-12 09:46:08 -0500 |
---|---|---|
committer | Mike Gerwitz <mike.gerwitz@ryansg.com> | 2021-03-12 14:14:42 -0500 |
commit | 6221ce5feee54187955829ad4178d2ae4147cd88 (patch) | |
tree | 9d3da9195f88ea78df84553b1f93894a9113f059 /bin | |
parent | 73255786246d24da2b618036f09203c9af7939a6 (diff) | |
download | tame-6221ce5feee54187955829ad4178d2ae4147cd88.tar.gz tame-6221ce5feee54187955829ad4178d2ae4147cd88.tar.bz2 tame-6221ce5feee54187955829ad4178d2ae4147cd88.zip |
bin/tame (verify-runner): Add missing id param
This was referencing a global $id, which is not the value we are interested
in (and may not exist at all). Add the missing param.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/tame | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -75,7 +75,7 @@ command-runner() local -r base="$root/$id" local -ri pid=$( cat "$base/pid" ) - verify-runner "$base" "$pid" + verify-runner "$base" "$id" "$pid" # forward signals to runner so that build is actually halted # (rather than continuing in background after we die) @@ -239,7 +239,8 @@ mark-available() verify-runner() { local -r base="${1?Missing base}" - local -ri pid="${2?Missing pid}" + local -ri id="${2?Missing id}" + local -ri pid="${3?Missing pid}" ps "$pid" &>/dev/null || { echo "error: runner $id ($pid) is offline!" >&2 |