summaryrefslogtreecommitdiffstats
path: root/debian
diff options
context:
space:
mode:
authorOndřej Surý <ondrej@sury.org>2020-07-03 12:46:48 +0200
committerDavid Lamparter <equinox@opensourcerouting.org>2023-01-24 18:19:42 +0100
commit0f0542210eeb6572317f5ed2fb1b3362dad3cbca (patch)
tree9fe6888b59884a61395635f40a2d64cf65e7d948 /debian
parentdebian: fix texinfo figure installation directory (diff)
downloadfrr-0f0542210eeb6572317f5ed2fb1b3362dad3cbca.tar.xz
frr-0f0542210eeb6572317f5ed2fb1b3362dad3cbca.zip
debian: remove unused debian/watchfrr.rc file
The debian/watchfrr.rc file was not install, so we just remove the cruft. Signed-off-by: Ondřej Surý <ondrej@sury.org> (cherry picked from commit 5632ff61df74ced015db3a56ef0063e93292244f)
Diffstat (limited to 'debian')
-rw-r--r--debian/watchfrr.rc4
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/watchfrr.rc b/debian/watchfrr.rc
deleted file mode 100644
index 4110b8639..000000000
--- a/debian/watchfrr.rc
+++ /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