diff options
Diffstat (limited to 'rpkid/rpki/rpkid.py')
| -rw-r--r-- | rpkid/rpki/rpkid.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpkid/rpki/rpkid.py b/rpkid/rpki/rpkid.py index fa9e9a78..314a05e3 100644 --- a/rpkid/rpki/rpkid.py +++ b/rpkid/rpki/rpkid.py @@ -1234,6 +1234,7 @@ class ca_detail_obj(rpki.sql.sql_persistent): repository = self.ca.parent.repository if self.latest_crl is not None and self.crl_published is not None and self.crl_published < stale: + rpki.log.debug("Retrying publication for %s" % self.crl_uri) publisher.publish(cls = rpki.publication.crl_elt, uri = self.crl_uri, obj = self.latest_crl, @@ -1241,6 +1242,7 @@ class ca_detail_obj(rpki.sql.sql_persistent): handler = self.crl_published_callback) if self.latest_manifest is not None and self.manifest_published is not None and self.manifest_published < stale: + rpki.log.debug("Retrying publication for %s" % self.manifest_uri) publisher.publish(cls = rpki.publication.manifest_elt, uri = self.manifest_uri, obj = self.latest_manifest, |