diff options
| -rw-r--r-- | rpkid/rpki/left_right.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/rpkid/rpki/left_right.py b/rpkid/rpki/left_right.py index 6914e7ff..99eda03b 100644 --- a/rpkid/rpki/left_right.py +++ b/rpkid/rpki/left_right.py @@ -869,9 +869,10 @@ class child_elt(data_elt): """ Extra server actions when destroying a child_elt. """ - def loop(iterator, child_cert): - child_cert.revoke(callback = iterator, errback = eb) - rpki.async.iterator(self.child_certs(), loop, cb) + publisher = rpki.rpki_engine.publication_queue() + for child_cert in self.child_certs(): + child_cert.revoke(publisher = publisher) + publisher.call_pubd(cb, eb) def endElement(self, stack, name, text): """ |