summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-01-06 15:35:42 +0100
committerHolger Levsen <holger@layer-acht.org>2016-01-06 15:35:42 +0100
commitcc4c86175a45ddc4f9143f38d4f2c8cebe47a7fd (patch)
treeee9639e5c0805c4155eb799bc921234938b856f6 /bin
parent46fcc07a51eec653c8befc10471346897e1e8e54 (diff)
downloadjenkins.debian.net-cc4c86175a45ddc4f9143f38d4f2c8cebe47a7fd.tar.xz
make cleanup faster by making it more dirty
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_slay.sh10
1 files changed, 4 insertions, 6 deletions
diff --git a/bin/reproducible_slay.sh b/bin/reproducible_slay.sh
index 922bea27..81fe5528 100755
--- a/bin/reproducible_slay.sh
+++ b/bin/reproducible_slay.sh
@@ -7,12 +7,10 @@ set -e
# usually called by /srv/jenkins/bin/reproducible_cleanup_nodes.sh
# this script just kills everyone…
-sudo slay -clean 1111
-sudo slay -clean 2222
-sleep 2
-ps fax
+sudo slay 1111
+sudo slay 2222
+pgrep -u 1111,2222
# only slay jenkins on the build nodes…
if [ "$HOSTNAME" != "jenkins" ] ; then
- sudo slay -clean jenkins
+ sudo slay jenkins
fi
-