diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-01-06 15:35:42 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-01-06 15:35:42 +0100 |
| commit | cc4c86175a45ddc4f9143f38d4f2c8cebe47a7fd (patch) | |
| tree | ee9639e5c0805c4155eb799bc921234938b856f6 | |
| parent | 46fcc07a51eec653c8befc10471346897e1e8e54 (diff) | |
| download | jenkins.debian.net-cc4c86175a45ddc4f9143f38d4f2c8cebe47a7fd.tar.xz | |
make cleanup faster by making it more dirty
| -rwxr-xr-x | bin/reproducible_slay.sh | 10 |
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 - |