diff options
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) |