aboutsummaryrefslogtreecommitdiff
path: root/rpki/django_settings/gui.py
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2015-11-11 03:22:38 +0000
committerRob Austein <sra@hactrn.net>2015-11-11 03:22:38 +0000
commit9f6d6462a9cef37735a9d4c61921d04934fd9864 (patch)
treee5d1b046f6f6bd44faf1b5028f6f1df9698e2a88 /rpki/django_settings/gui.py
parentac415cdd0f88f8479975627772dd0a84797b261a (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/django_settings/gui.py')
-rw-r--r--rpki/django_settings/gui.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/rpki/django_settings/gui.py b/rpki/django_settings/gui.py
index 4e9ac0f3..2c664f91 100644
--- a/rpki/django_settings/gui.py
+++ b/rpki/django_settings/gui.py
@@ -20,7 +20,7 @@ This module contains GUI-specific configuration settings for Django libraries.
# Pull in the irdb configuration, which in turn pulls in the common configuration.
-from .irdb import * # pylint: disable=W0401
+from .irdb import * # pylint: disable=W0401,W0614
__version__ = "$Id$"