aboutsummaryrefslogtreecommitdiff
path: root/ca/rpki-start-servers
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 /ca/rpki-start-servers
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 'ca/rpki-start-servers')
-rwxr-xr-xca/rpki-start-servers1
1 files changed, 0 insertions, 1 deletions
diff --git a/ca/rpki-start-servers b/ca/rpki-start-servers
index e01f4f9b..9bf47d0c 100755
--- a/ca/rpki-start-servers
+++ b/ca/rpki-start-servers
@@ -68,7 +68,6 @@ cfg = rpki.config.parser(set_filename = args.config, section = "myrpki")
def run(name, old_flag = None):
if cfg.getboolean("start_" + name, cfg.getboolean("run_" + name if old_flag is None else old_flag, False)):
- # pylint: disable=E1103
log_file = os.path.join(args.log_directory, name + ".log")
cmd = (os.path.join(rpki.autoconf.libexecdir, name), "--log-level", args.log_level)
if args.log_file: