diff options
| author | Rob Austein <sra@hactrn.net> | 2015-11-11 03:22:38 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2015-11-11 03:22:38 +0000 |
| commit | 9f6d6462a9cef37735a9d4c61921d04934fd9864 (patch) | |
| tree | e5d1b046f6f6bd44faf1b5028f6f1df9698e2a88 /rpki/old_irdbd.py | |
| parent | ac415cdd0f88f8479975627772dd0a84797b261a (diff) | |
Configure pylint to use the pylint-django plugin, which (mostly)
understands Django's exotic metaclasses, which in turn allows us to
re-enable a number of pylint checks we had disabled. While we were at
this, stripped out a bunch of old pylint pragmas, then added back the
subset that were really needed. As usual with pylint, this turned up
a few real bugs along with an awful lot of noise.
svn path=/branches/tk705/; revision=6162
Diffstat (limited to 'rpki/old_irdbd.py')
| -rw-r--r-- | rpki/old_irdbd.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpki/old_irdbd.py b/rpki/old_irdbd.py index 4ebb33b0..b2dd42bd 100644 --- a/rpki/old_irdbd.py +++ b/rpki/old_irdbd.py @@ -25,6 +25,8 @@ and perhaps still useful as a minimal example. This does NOT work with the GUI, rpkic, or any of the other more recent tools. """ +# pylint: skip-file + import os import time import logging |