diff options
Diffstat (limited to 'rpkid/rpki/up_down.py')
| -rw-r--r-- | rpkid/rpki/up_down.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki/up_down.py b/rpkid/rpki/up_down.py index e5c323c2..d7d7ad80 100644 --- a/rpkid/rpki/up_down.py +++ b/rpkid/rpki/up_down.py @@ -625,7 +625,7 @@ class message_pdu(base_elt): try: self.payload.serve_pdu(self, r_msg, child, done, lose) - except rpki.async.ExitNow: + except (rpki.async.ExitNow, SystemExit): raise except Exception, edata: lose(edata) |