diff options
Diffstat (limited to 'ca/rpki-start-servers')
| -rwxr-xr-x | ca/rpki-start-servers | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ca/rpki-start-servers b/ca/rpki-start-servers index 26068bc7..1d7befb6 100755 --- a/ca/rpki-start-servers +++ b/ca/rpki-start-servers @@ -86,4 +86,3 @@ def run(name, old_flag = None): run("irdbd", "run_rpkid") run("rpkid") run("pubd") -run("rootd") |