diff --git a/traffic-control/manual/init-setup.sh b/traffic-control/manual/init-setup.sh index cbbdcf0b0f7fcc5149bb3644fe697f113deae316..d8547d249943951359f3a9e1ddacd16980114738 100644 --- a/traffic-control/manual/init-setup.sh +++ b/traffic-control/manual/init-setup.sh @@ -20,15 +20,15 @@ _kill_procs() { for proc in "${ROOT_PROC_KILL_LIST[@]}"; do if ps -p $proc >/dev/null; then # Let sudo a chance to kill its child - sudo kill -SIGINT $proc + sudo kill -SIGINT $proc || true sleep 0.2 - sudo kill -SIGKILL $proc + sudo kill -SIGKILL $proc || true fi done for proc in "${PROC_KILL_LIST[@]}"; do if ps -p $proc >/dev/null; then # Only killing wget here. No need for sudo. - kill $proc + kill $proc || true fi done }