Mirror/frr
0
0
Fork 1
mirror of https://github.com/FRRouting/frr.git synced 2025-04-30 13:37:17 +02:00
Code Issues Actions 4 Packages Projects Releases Wiki Activity

Merge 7cf4d10423 into 3dd4d417be

Browse source
This commit is contained in:
Tuetuopay 2025-04-29 16:20:41 +00:00 committed by GitHub
parent 3dd4d417be 7cf4d10423
commit 6c7da6b97b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
tools/frrcommon.sh.in
View file

@ -219,11 +219,17 @@ daemon_stop() {
debug "kill -2 $pid"
kill -2 "$pid"
cnt=1200
cnt=600
while kill -0 "$pid" 2>/dev/null; do
sleep .1
[ $(( cnt -= 1 )) -gt 0 ] || break
done
if kill -0 "$pid" 2>/dev/null; then
[ "$2" = "--quiet" ] || log_failure_msg "Failed to stop $dmninst, sending SIGKILL"
debug "kill -9 $pid"
kill -9 "$pid"
sleep .1
fi
if kill -0 "$pid" 2>/dev/null; then
[ "$2" = "--quiet" ] || log_failure_msg "Failed to stop $dmninst, pid $pid still running"
still_running=1