Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Check that a PR driver is still running before trying to kill it #2799

Merged
merged 8 commits into from
Aug 7, 2024
Merged

Check that a PR driver is still running before trying to kill it #2799

Changes from 3 commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
a7e9b88
Make PR dir if missing; check that driver is running before killing
DavidHuber-NOAA Jul 30, 2024
e8cfb15
Add comment on ssh kill command
DavidHuber-NOAA Jul 30, 2024
7a1dd48
Ignore SC2029 when killing via ssh
DavidHuber-NOAA Jul 30, 2024
c5655f6
Remove if-defined parameter expansions from if-blocks for defined var…
DavidHuber-NOAA Jul 31, 2024
6721ece
Remove more if-defined parameter expansions
DavidHuber-NOAA Jul 31, 2024
abc9660
Check that pr_building is not empty rather than empty
DavidHuber-NOAA Jul 31, 2024
faa659e
Merge branch 'develop' into fix/bash_ci
DavidHuber-NOAA Aug 6, 2024
4ef3a00
Update ci/scripts/driver.sh
DavidHuber-NOAA Aug 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions ci/scripts/driver.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,8 +77,9 @@ pr_list=$(${GH} pr list --repo "${REPO_URL}" --label "CI-${MACHINE_ID^}-Ready" -

for pr in ${pr_list}; do
pr_dir="${GFS_CI_ROOT}/PR/${pr}"
[[ ! -d ${pr_dir} ]] && mkdir -p "${pr_dir}"
db_list=$("${ROOT_DIR}/ci/scripts/utils/pr_list_database.py" --add_pr "${pr}" --dbfile "${pr_list_dbfile}")
output_ci_single="${GFS_CI_ROOT}/PR/${pr}/output_single.log"
output_ci_single="${pr_dir}/output_single.log"
#############################################################
# Check if a Ready labeled PR has changed back from once set
# and in that case completely kill the previose driver.sh cron
Expand Down Expand Up @@ -107,7 +108,9 @@ for pr in ${pr_list}; do
echo -e "${pstree_out}" | grep -Pow "(?<=\()[0-9]+(?=\))" | xargs kill
fi
else
ssh "${driver_HOST}" 'pstree -A -p "${driver_PID}" | grep -Eow "[0-9]+" | xargs kill'
# Check if the driver is still running on the head node; if so, kill it and all child processes
#shellcheck disable=SC2029
ssh "${driver_HOST}" "if ps -p ${driver_PID} 2>&1; then pstree -A -p \"${driver_PID}\" | grep -Eow \"[0-9]+\" | xargs kill; fi"
Fixed Show fixed Hide fixed
DavidHuber-NOAA marked this conversation as resolved.
Show resolved Hide resolved
fi
{
echo "Driver PID: Requested termination of ${driver_PID} and children on ${driver_HOST}"
Expand Down
Loading