diff options
| author | Rob Austein <sra@hactrn.net> | 2012-10-18 23:53:23 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2012-10-18 23:53:23 +0000 |
| commit | c4be735c645bdbcb86b2448899a3aa664d5e97df (patch) | |
| tree | ebaa086e7376be3a512eab0fccce05494ef602a5 /rpkid/rpki-start-servers.py | |
| parent | 5897dfa4261927dafabc3ed6c16f27aa932efc42 (diff) | |
pylint
svn path=/branches/tk274/; revision=4786
Diffstat (limited to 'rpkid/rpki-start-servers.py')
| -rw-r--r-- | rpkid/rpki-start-servers.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/rpki-start-servers.py b/rpkid/rpki-start-servers.py index e7061062..722f51e6 100644 --- a/rpkid/rpki-start-servers.py +++ b/rpkid/rpki-start-servers.py @@ -58,6 +58,7 @@ cfg = rpki.config.parser(cfg_file, "myrpki") def run(name): + # pylint: disable=E1103 cmd = (sys.executable, os.path.join(rpkid_dir, name), "-c", cfg.filename) if debug: proc = subprocess.Popen(cmd + ("-d",), stdout = open(name + ".log", "a"), stderr = subprocess.STDOUT) |