diff options
| -rw-r--r-- | rpkid/rpki/myrpki.py | 2 |
1 files changed, 1 insertions, 1 deletions
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")) |