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

Examples: only terminate vtadmin if it was started #13433

Merged
merged 14 commits into from
Jul 5, 2023
Merged

Examples: only terminate vtadmin if it was started #13433

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
014cbbe
Do not error stopping vtadmin web and api if pidd files do not exist.
jfg956 Jul 3, 2023
0487e79
Get rid of code duplication in vtadmin-down.sh.
jfg956 Jul 3, 2023
1a3da36
Use bash test
mattlord Jul 5, 2023
66f60eb
Use SIGTERM and wait for process to end
mattlord Jul 5, 2023
4a589a4
Validate function parameters
mattlord Jul 5, 2023
c8a7e47
Add license header
mattlord Jul 5, 2023
966841b
Move vtadmin stop function to utils
mattlord Jul 5, 2023
730edbe
Generalize simple process shutdown with timeout
mattlord Jul 5, 2023
e11d1c5
Correct output
mattlord Jul 5, 2023
b8ffa85
Remove now redundant log message
mattlord Jul 5, 2023
be72f81
Corrections
mattlord Jul 5, 2023
c78650d
Add missing license header to modified file
mattlord Jul 5, 2023
8bcf746
Only check PID if we killed it
mattlord Jul 5, 2023
f928d17
Remove mix of spaces and tabs
mattlord Jul 5, 2023
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: 6 additions & 1 deletion examples/common/scripts/vtadmin-down.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,12 @@ function stop_vtadmin() {

mattlord marked this conversation as resolved.
Show resolved Hide resolved
if [[ -e "$file" ]]; then
echo "Stopping $name..."
kill -9 "$(cat "$file")"
local pid=$(cat "$file")
kill $pid
# Wait for the process to terminate
while ps -p $pid > /dev/null; do
jfg956 marked this conversation as resolved.
Show resolved Hide resolved
sleep 1
done
else
echo "Skipping stopping $name because no pid file."
fi
Expand Down