diff options
Diffstat (limited to 'rpkid/rpki/rpkid_tasks.py')
| -rw-r--r-- | rpkid/rpki/rpkid_tasks.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rpkid/rpki/rpkid_tasks.py b/rpkid/rpki/rpkid_tasks.py index c77de3ac..5b1874b2 100644 --- a/rpkid/rpki/rpkid_tasks.py +++ b/rpkid/rpki/rpkid_tasks.py @@ -544,7 +544,8 @@ class RegenerateCRLsAndManifestsTask(AbstractTask): rpki.log.debug("Self %s[%d] regenerating CRLs and manifests" % (self.self_handle, self.self_id)) now = rpki.sundial.now() - regen_margin = rpki.sundial.timedelta(seconds = self.regen_margin) + crl_interval = rpki.sundial.timedelta(seconds = self.crl_interval) + regen_margin = max(self.gctx.cron_period * 2, crl_interval / 4) publisher = rpki.rpkid.publication_queue() for parent in self.parents: |