diff options
| author | Ondřej Surý <ondrej@sury.org> | 2020-09-26 09:15:17 +0200 |
|---|---|---|
| committer | Ondřej Surý <ondrej@sury.org> | 2020-09-26 09:24:02 +0200 |
| commit | 6633ae2ac9957a43865b365ddc775df8d4c2022a (patch) | |
| tree | 6ced1ba313df7bff32d4eb6e76a9322cca1a599d | |
| parent | e4e82f187e41cbd4ffbbea3230bb61a473f28736 (diff) | |
Sync debian/watchfrr.rc with debian/master branch
| -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 0000000000..4110b86399 --- /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 |