summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-02-24 21:15:17 +0100
committerHolger Levsen <holger@layer-acht.org>2015-02-24 21:16:32 +0100
commitbf49dc0b71d1e6153649a96a49d6371b158b66ad (patch)
tree1c0cdb8582c89d2efee29b09773636aeed72e1e7
parent5cde8a7b9749ae1de0bfc9504fa9c92d28b17d94 (diff)
downloadjenkins.debian.net-bf49dc0b71d1e6153649a96a49d6371b158b66ad.tar.xz
reproducible: zombies are hard to deal with
-rwxr-xr-xbin/reproducible_maintainance.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh
index 463fc3ed..54bf3f58 100755
--- a/bin/reproducible_maintainance.sh
+++ b/bin/reproducible_maintainance.sh
@@ -115,7 +115,7 @@ if [ -s $RESULT ] ; then
cat $RESULT
echo
ZOMBIES=$(echo $RESULT | cut -d " " -f1 | xargs echo)
- echo "kill -9 $ZOMBIES"
+ echo "kill -9 $(cat $ZOMBIES)"
echo "Please cleanup manually."
echo
DIRTY=true