diff options
| author | Rob Austein <sra@hactrn.net> | 2010-05-12 19:07:50 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2010-05-12 19:07:50 +0000 |
| commit | 2b6e59e787d92b5b89370bf22a36df5b1f76384d (patch) | |
| tree | 07ff1db2482eda3aefab0720d130891c51fee874 | |
| parent | 7f79dcfea207f9e4d6ecb2aa537a03c7cd2d2a9a (diff) | |
Scale self_regen_margin to self_crl_interval automatically.
svn path=/rpkid/rpki/myrpki.py; revision=3246
| -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")) |