Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@ryansg.com>2021-03-12 09:46:08 -0500
committerMike Gerwitz <mike.gerwitz@ryansg.com>2021-03-12 14:14:42 -0500
commit6221ce5feee54187955829ad4178d2ae4147cd88 (patch)
tree9d3da9195f88ea78df84553b1f93894a9113f059 /bin
parent73255786246d24da2b618036f09203c9af7939a6 (diff)
downloadtame-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-xbin/tame5
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/tame b/bin/tame
index 47394b3..1a2d7d8 100755
--- a/bin/tame
+++ b/bin/tame
@@ -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