diff options
Diffstat (limited to 'rpkid/rpki/publication.py')
| -rw-r--r-- | rpkid/rpki/publication.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpkid/rpki/publication.py b/rpkid/rpki/publication.py index e9b525fd..b43fa60c 100644 --- a/rpkid/rpki/publication.py +++ b/rpkid/rpki/publication.py @@ -276,6 +276,8 @@ class msg(rpki.xml_utils.msg, publication_namespace): q_pdu.gctx = gctx q_pdu.client = client q_pdu.serve_dispatch(r_msg, iterator, fail) + except rpki.async.ExitNow: + raise except Exception, edata: fail(edata) |