Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-12-03 16:25:24 -0500
committerMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-12-03 16:25:25 -0500
commit079d1dcfafd3eb75156bc513db81c623b66bc41b (patch)
treef20c8d393d6ad747137ef1c599e96f3d27b346b1 /build-aux
parent210693c22fa86708cca7a0e102b7d823f16239fb (diff)
downloadtame-079d1dcfafd3eb75156bc513db81c623b66bc41b.tar.gz
tame-079d1dcfafd3eb75156bc513db81c623b66bc41b.tar.bz2
tame-079d1dcfafd3eb75156bc513db81c623b66bc41b.zip
tamed: Do not stall if TAMED_SPAWER_PID is running
This will ensure that tamed does not stall while e.g. make is still running. This makes TAMED_STALL_SECONDS almost useless; maybe it'll be removed in future versions. * bin/tame (TAMED_SPAWNER_PID): Export variable. * bin/tamed (TAMED_SPAWNER_PID): New variable, default to PPID. (spawner-dead): New function. (stall-monitor): Use it. (usage): Update documentation. * build-aux/Makefile.am: Set TAMED_SPAWNER_PID to own id and export.
Diffstat (limited to 'build-aux')
-rw-r--r--build-aux/Makefile.am3
1 files changed, 3 insertions, 0 deletions
diff --git a/build-aux/Makefile.am b/build-aux/Makefile.am
index 0ccca61..0fa6c31 100644
--- a/build-aux/Makefile.am
+++ b/build-aux/Makefile.am
@@ -89,6 +89,9 @@ SHELL = /bin/bash -O extglob
export TAME_CMD_WAITTIME
export TAMED_STALL_SECONDS
+TAMED_SPAWNER_PID=$(shell echo $$PPID)
+export TAMED_SPAWNER_PID
+
all: program-data-copy
program-ui: standalones ui/package.strip.js ui/Program.js program-ui-immediate