summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_maintenance.sh5
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index aa17eade..ea535e86 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -112,10 +112,9 @@ if [ -s $RESULT ] ; then
ps -F -p $PSCALL
echo
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
+ sudo kill -9 $PROCESS 2>&1
+ echo "'kill -9 $PROCESS' done."
done
- echo "Please kill processes manually for now."
echo
fi
fi