Kill forgotten Runner.Listener too

This commit is contained in:
Mikhail f. Shiryaev 2023-11-13 16:39:48 +01:00
parent e77c9fbd53
commit 5f9704a3c1
No known key found for this signature in database
GPG Key ID: 4B02ED204C7D93F4

View File

@ -104,7 +104,7 @@ check_proceed_spot_termination() {
if [ -n "$runner_pid" ]; then if [ -n "$runner_pid" ]; then
# Kill the runner to not allow it cancelling the job # Kill the runner to not allow it cancelling the job
# shellcheck disable=SC2046 # shellcheck disable=SC2046
kill -9 $(list_children "$runner_pid") kill -9 "$runner_pid" $(list_children "$runner_pid")
fi fi
sudo -u ubuntu ./config.sh remove --token "$(get_runner_token)" sudo -u ubuntu ./config.sh remove --token "$(get_runner_token)"
terminate_and_exit terminate_and_exit