From 5866def6e22ecae0f91056188df6c8f30e333e10 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 19 Feb 2015 10:07:21 +0100 Subject: reproducible: make killing easier --- bin/reproducible_maintainance.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh index df62f696..c59d2781 100755 --- a/bin/reproducible_maintainance.sh +++ b/bin/reproducible_maintainance.sh @@ -100,6 +100,8 @@ if [ -s $RESULT ] ; then echo "Warning: processes found which should not be there:" cat $RESULT echo + ZOMBIES=$(echo $RESULT | cut -d " " -f1 | xargs echo) + echo "kill -9 $ZOMBIS" echo "Please cleanup manually." echo DIRTY=true -- cgit v1.2.3-70-g09d2