From: Ondřej Surý Date: Fri, 3 Jul 2020 10:46:48 +0000 (+0200) Subject: Remove unused debian/watchfrr.rc file X-Git-Tag: debian/frr-8.4.1-1~14^2~3 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=4b82120ace75f283dbd93762bb7413c1e5e1e1c3;p=mirror%2Ffrr.git 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ý --- diff --git a/debian/watchfrr.rc b/debian/watchfrr.rc deleted file mode 100644 index 4110b86399..0000000000 --- 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