diff options
| author | Donald Sharp <sharpd@cumulusnetworks.com> | 2017-01-04 15:25:20 +0100 |
|---|---|---|
| committer | Donald Sharp <sharpd@cumulusnetworks.com> | 2017-01-04 15:25:20 +0100 |
| commit | d8e4c43827fab188dcfd98fe18bc75d8479d723e (patch) | |
| tree | 05559567e099837efbcb6ff537353715db5d700b /debian/watchfrr.rc | |
| parent | lib: Update ZAPI to version 4 and HEADER_MARKER to 254 (diff) | |
| download | frr-d8e4c43827fab188dcfd98fe18bc75d8479d723e.tar.xz frr-d8e4c43827fab188dcfd98fe18bc75d8479d723e.zip | |
debian: Convert Quagga -> Frr
Signed-off-by: Donald Sharp <sharpd@cumulusnetworks.com>
Diffstat (limited to 'debian/watchfrr.rc')
| -rw-r--r-- | debian/watchfrr.rc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/watchfrr.rc b/debian/watchfrr.rc new file mode 100644 index 000000000..4110b8639 --- /dev/null +++ b/debian/watchfrr.rc @@ -0,0 +1,4 @@ +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 |