1 files changed, 4 insertions, 1 deletions
diff --git a/rpkid/irbe-cli.py b/rpkid/irbe-cli.py
index fc7b6dcb..53fda759 100755
--- a/rpkid/irbe-cli.py
+++ b/rpkid/irbe-cli.py
@@ -160,7 +160,10 @@ class left_right_cms_msg(rpki.left_right.cms_msg):
 # Publication protocol
 
 class config_elt(cmd_elt_mixin, rpki.publication.config_elt):
-  pass
+
+  def client_query_bpki_crl(self, arg):
+    """Special handler for --bpki_crl option."""
+    self.bpki_crl = rpki.x509.CRL(Auto_file = arg)
 
 class client_elt(cmd_elt_mixin, rpki.publication.client_elt):
   pass