diff options
| -rw-r--r-- | myrpki/start-servers.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/myrpki/start-servers.sh b/myrpki/start-servers.sh index a17d2a1c..c9460d42 100644 --- a/myrpki/start-servers.sh +++ b/myrpki/start-servers.sh @@ -19,15 +19,15 @@ : ${want_pubd=no} : ${want_rootd=no} -python ../rpkid/irdbd.py -c myrpki.conf >> irdbd.log 2>&1 & -python ../rpkid/rpkid.py -c myrpki.conf >> rpkid.log 2>&1 & +python ${rpkid_dir}/irdbd.py -c myrpki.conf >> irdbd.log 2>&1 & +python ${rpkid_dir}/rpkid.py -c myrpki.conf >> rpkid.log 2>&1 & if test "$want_pubd" = "yes" then - python ../rpkid/pubd.py -c myrpki.conf >> pubd.log 2>&1 & + python ${rpkid_dir}/pubd.py -c myrpki.conf >> pubd.log 2>&1 & fi if test "$want_rootd" = "yes" then - python ../rpkid/rootd.py -c myrpki.conf >> rootd.log 2>&1 & + python ${rpkid_dir}/rootd.py -c myrpki.conf >> rootd.log 2>&1 & fi |