diff options
author | Ondřej Surý <ondrej@sury.org> | 2020-07-03 12:46:48 +0200 |
---|---|---|
committer | Ondřej Surý <ondrej@sury.org> | 2020-09-26 09:22:23 +0200 |
commit | 5632ff61df74ced015db3a56ef0063e93292244f (patch) | |
tree | fe2b70da258e4732b6f9da2014c260ae1b10cb29 /debian | |
parent | Use dh_installinit capabilities to install frr.tmpfile (diff) | |
download | frr-5632ff61df74ced015db3a56ef0063e93292244f.tar.xz frr-5632ff61df74ced015db3a56ef0063e93292244f.zip |
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>
Diffstat (limited to 'debian')
-rw-r--r-- | debian/watchfrr.rc | 4 |
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 |