summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-03-20 13:21:22 +0100
committerHolger Levsen <holger@layer-acht.org>2015-03-20 13:21:22 +0100
commit2f08165628cd5688808ca6e07fe39027a41de036 (patch)
tree0288672ed1e5b41b40cec23fe6b5ea54f7e97c3f
parent541b1d3ecba24f7031bbcbb5f32575210cd38ac8 (diff)
downloadjenkins.debian.net-2f08165628cd5688808ca6e07fe39027a41de036.tar.xz
reproducible: actually kill parentless processes older than 12h because thats how long a single build may take
-rwxr-xr-xbin/reproducible_maintainance.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh
index d0026e40..84624bb6 100755
--- a/bin/reproducible_maintainance.sh
+++ b/bin/reproducible_maintainance.sh
@@ -125,7 +125,8 @@ if [ -s $RESULT ] ; then
echo
for PROCESS in $(cat $RESULT | cut -d " " -f1 | xargs echo) ; do
AGE=$(ps -p $PROCESS -o etimes= || echo 0)
- if [ $AGE -gt 86400 ] ; then
+ # a single build may only take half a day, so...
+ if [ $AGE -gt 43200 ] ; then
sudo kill -9 $PROCESS 2>&1
echo "'kill -9 $PROCESS' done."
else