diff options
author | dancer <dancer> | 2002-08-27 10:16:35 +0000 |
---|---|---|
committer | dancer <dancer> | 2002-08-27 10:16:35 +0000 |
commit | 6b71b46c1d2bba352ab86d70b97abad2ba849ce4 (patch) | |
tree | 2a7deba9def66cb6e9a3c958d3ea56d265f0d9d8 /pbuilder-buildpackage | |
parent | 7a5e2f5ef4c35ff3a4326105f71b3cfcd73c6d47 (diff) | |
download | pbuilder-6b71b46c1d2bba352ab86d70b97abad2ba849ce4.tar pbuilder-6b71b46c1d2bba352ab86d70b97abad2ba849ce4.tar.gz |
+ * pbuilder-buildpackage (BUILD_PID): race condition with
+ termination. Make it display message before KILL.
+
Diffstat (limited to 'pbuilder-buildpackage')
-rwxr-xr-x | pbuilder-buildpackage | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pbuilder-buildpackage b/pbuilder-buildpackage index a04a5d5..af2c2c2 100755 --- a/pbuilder-buildpackage +++ b/pbuilder-buildpackage @@ -133,8 +133,8 @@ if [ -n ${TIMEOUT_TIME} ]; then ( : Timeout process sleep "${TIMEOUT_TIME}"; - kill ${BUILD_PID} || true echo " -> Terminating build process due to timeout " + kill ${BUILD_PID} || true ) & # timeout process KILL_WAIT_PID="kill $! || true; echo \" -> Terminate timeout process\"; " else |