diff options
Diffstat (limited to 'rpkid/rpki/x509.py')
| -rw-r--r-- | rpkid/rpki/x509.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rpkid/rpki/x509.py b/rpkid/rpki/x509.py index 97088f15..d43618a2 100644 --- a/rpkid/rpki/x509.py +++ b/rpkid/rpki/x509.py @@ -771,7 +771,7 @@ class CMS_object(DER_object): try: cms = self.get_POW() - except rpki.async.ExitNow: + except (rpki.async.ExitNow, SystemExit): raise except: if self.print_on_der_error: @@ -825,7 +825,7 @@ class CMS_object(DER_object): try: content = cms.verify(store) - except rpki.async.ExitNow: + except (rpki.async.ExitNow, SystemExit): raise except: if self.dump_on_verify_failure: @@ -854,7 +854,7 @@ class CMS_object(DER_object): try: cms = self.get_POW() - except rpki.async.ExitNow: + except (rpki.async.ExitNow, SystemExit): raise except: raise rpki.exceptions.UnparsableCMSDER |