diff options
Diffstat (limited to 'rpki/rootd.py')
| -rw-r--r-- | rpki/rootd.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpki/rootd.py b/rpki/rootd.py index e3a460f4..08259a9a 100644 --- a/rpki/rootd.py +++ b/rpki/rootd.py @@ -369,7 +369,7 @@ class main(object): try: crl = rpki.x509.CRL(DER_file = self.rpki_root_crl_file) self.crl_number = crl.getCRLNumber() - except: # pylint: disable=W0702 + except: self.crl_number = 0 self.crl_number += 1 return self.crl_number |