summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-10-09 09:56:52 +0200
committerHolger Levsen <holger@layer-acht.org>2015-10-09 09:56:52 +0200
commit516cf783262488a1ddb2b8d709f349809ebf74a3 (patch)
treeadb371181f8d996af3cece6daa131968b105fc2b
parent88d1fb8e43a2ad94fdccb86856070708340eaaf4 (diff)
downloadjenkins.debian.net-516cf783262488a1ddb2b8d709f349809ebf74a3.tar.xz
reproducible: indicate processes to kill
-rwxr-xr-xbin/reproducible_maintenance.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index e4cee248..8a8e619e 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -288,6 +288,7 @@ for i in $PBUIDS ; do
# let's be generous and consider 14 hours here...
if [ $AGE -gt $(( 14*60*60 )) ] ; then
PSCALL=${PSCALL:+"$PSCALL,"}"$p"
+ echo "Warning: Could 'kill -9 $p' now, but not doing so now _yet_... "
fi
done
done