diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-14 01:14:43 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-04-14 09:38:05 +0200 |
commit | 5c91b2461d5b0d8c54f3cc40b5d1d8b891eca6a4 (patch) | |
tree | eb12c1cc71a32ed3e7efc396c208396e91822d32 /bin/reproducible_maintenance.sh | |
parent | f50f723d56186947ab9fd6a0fce243f5e9cc5da6 (diff) | |
download | jenkins.debian.net-5c91b2461d5b0d8c54f3cc40b5d1d8b891eca6a4.tar.xz |
reproducible: maintenance: better presentation of processes about to be killed
Diffstat (limited to 'bin/reproducible_maintenance.sh')
-rwxr-xr-x | bin/reproducible_maintenance.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 341c93a7..70d2c53f 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -140,12 +140,16 @@ if [ -s $RESULT ] ; then DIRTY=true echo echo "Warning: processes found which should not be there, killing them now:" - cat $TOKILL | xargs echo + for PROCESS in $(cat $TOKILL) ; do + PSCALL=${PSCALL:+"$PSCALL,"}"$PROCESS" + done + ps -F -p $PSCALL echo - for PROCESS in $(cat $TOKILL | xargs echo) ; do + for PROCESS in $(cat $TOKILL) ; do echo sudo kill -9 $PROCESS 2>&1 #echo "'kill -9 $PROCESS' done." # FIXME re-enable once we're sure this new code is fine done + echo "Please kill processes manually for now." echo fi fi |