]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #10926 from donaldsharp/all_stop
authorDonatas Abraitis <donatas@opensourcerouting.org>
Wed, 30 Mar 2022 18:14:25 +0000 (21:14 +0300)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 18:14:25 +0000 (21:14 +0300)
tools: Modify all_stop to actually try to stop all daemons


Trivial merge