]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 065bd55) | patch
topotest: remove pid files
authorRafael Zalamena <rzalamena@opensourcerouting.org>
Fri, 8 Dec 2017 14:41:35 +0000 (12:41 -0200)
committerDonald Sharp <sharpd@cumulusnetworks.com>
Wed, 28 Nov 2018 01:22:12 +0000 (20:22 -0500)
commite600b2d93c819af847f1e5086631ac2f16e51fa4
treec3be84e0d40542370c711b45ac342577e0af7610tree | snapshot
parent065bd557f83a3cbc9b8b7300093c68d0107e7e4ecommit | diff
topotest: remove pid files

Remove PID files after a SIGKILL or confirmation that the pid file no
longer contains a running PID.

Signed-off-by: Rafael Zalamena <rzalamena@opensourcerouting.org>
tests/topotests/lib/topotest.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.