diff options
Diffstat (limited to 'rpkid/rpki/up_down.py')
| -rw-r--r-- | rpkid/rpki/up_down.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpkid/rpki/up_down.py b/rpkid/rpki/up_down.py index 5b257a53..825a5d14 100644 --- a/rpkid/rpki/up_down.py +++ b/rpkid/rpki/up_down.py @@ -522,6 +522,8 @@ class message_pdu(base_elt): try: self.payload.serve_pdu(self, r_msg, child, done, lose) + except rpki.async.ExitNow: + raise except Exception, edata: lose(edata) |