diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 5 |
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 |