From 2b6e59e787d92b5b89370bf22a36df5b1f76384d Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Wed, 12 May 2010 19:07:50 +0000 Subject: Scale self_regen_margin to self_crl_interval automatically. svn path=/rpkid/rpki/myrpki.py; revision=3246 --- rpkid/rpki/myrpki.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rpkid/rpki/myrpki.py b/rpkid/rpki/myrpki.py index f7e833ea..00150703 100644 --- a/rpkid/rpki/myrpki.py +++ b/rpkid/rpki/myrpki.py @@ -1355,7 +1355,7 @@ class main(rpki.cli.Cmd): # quite as low as they once were, too much expired CRL whining. self_crl_interval = self.cfg.getint("self_crl_interval", 2 * 60 * 60) - self_regen_margin = self.cfg.getint("self_regen_margin", 30 * 60) + self_regen_margin = self.cfg.getint("self_regen_margin", self_crl_interval / 4) pubd_base = "https://%s:%s/" % (self.cfg.get("pubd_server_host"), self.cfg.get("pubd_server_port")) rpkid_base = "https://%s:%s/" % (self.cfg.get("rpkid_server_host"), self.cfg.get("rpkid_server_port")) -- cgit v1.2.3