diff options
Diffstat (limited to 'rpkid/start-servers.py')
| -rw-r--r-- | rpkid/start-servers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/start-servers.py b/rpkid/start-servers.py index 7938c8b5..0daeaafc 100644 --- a/rpkid/start-servers.py +++ b/rpkid/start-servers.py @@ -60,7 +60,7 @@ for o, a in opts: cfg = rpki.config.parser(cfg_file, "myrpki") def run(name): - cmd = ("python", os.path.join(rpkid_dir, name + ".py"), "-c", cfg_file) + cmd = (sys.executable, os.path.join(rpkid_dir, name + ".py"), "-c", cfg_file) if debug: proc = subprocess.Popen(cmd + ("-d",), stdout = open(name + ".log", "a"), stderr = subprocess.STDOUT) else: |