diff options
Diffstat (limited to 'rpkid/rpki/left_right.py')
| -rw-r--r-- | rpkid/rpki/left_right.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rpkid/rpki/left_right.py b/rpkid/rpki/left_right.py index 99eda03b..23cf6f6b 100644 --- a/rpkid/rpki/left_right.py +++ b/rpkid/rpki/left_right.py @@ -871,7 +871,8 @@ class child_elt(data_elt): """ publisher = rpki.rpki_engine.publication_queue() for child_cert in self.child_certs(): - child_cert.revoke(publisher = publisher) + child_cert.revoke(publisher = publisher, + generate_crl_and_manifest = True) publisher.call_pubd(cb, eb) def endElement(self, stack, name, text): |