]> git.puffer.fish Git - mirror/frr.git/commitdiff
Remove unused debian/watchfrr.rc file
authorOndřej Surý <ondrej@sury.org>
Fri, 3 Jul 2020 10:46:48 +0000 (12:46 +0200)
committerOndřej Surý <ondrej@sury.org>
Sat, 26 Sep 2020 07:22:23 +0000 (09:22 +0200)
The debian/watchfrr.rc file was not install, so we just remove the cruft.

Signed-off-by: Ondřej Surý <ondrej@sury.org>
debian/watchfrr.rc [deleted file]

diff --git a/debian/watchfrr.rc b/debian/watchfrr.rc
deleted file mode 100644 (file)
index 4110b86..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-check process watchfrr with pidfile /var/run/frr/watchfrr.pid
-        start program = "/etc/init.d/frr start watchfrr" with timeout 120 seconds
-        stop program = "/etc/init.d/frr stop watchfrr"
-        if 3 restarts within 10 cycles then timeout