From 5632ff61df74ced015db3a56ef0063e93292244f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Ond=C5=99ej=20Sur=C3=BD?= Date: Fri, 3 Jul 2020 12:46:48 +0200 Subject: [PATCH] Remove unused debian/watchfrr.rc file MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit The debian/watchfrr.rc file was not install, so we just remove the cruft. Signed-off-by: Ondřej Surý --- debian/watchfrr.rc | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 debian/watchfrr.rc 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 -- 2.39.5