Add start_{rpki,irdb,pub,root}d options. See #238.

svn path=/trunk/; revision=4435

1 files changed, 15 insertions, 0 deletions

diff --git a/rpkid/examples/rpki.conf b/rpkid/examples/rpki.conf
index 74436fff..37a5230c 100644
--- a/rpkid/examples/rpki.conf
+++ b/rpkid/examples/rpki.conf
@@ -95,6 +95,21 @@ publication_rsync_module	= rpki
 
 publication_rsync_server	= ${myrpki::pubd_server_host}
 
+# Startup control.  These all default to the values of the
+# corresponding run_* options, to keep things simple.  The only case
+# where you would want to change these is when you are running the
+# back-end code on a different machine from one or more of the
+# daemons, in which case you need finer control over which daemons to
+# start on which machines.  In such cases, "run_*" controls whether
+# the back-end code is doing things to manage the daemon in question,
+# while "start_*" controls whether rpki-start-servers attempts to
+# start the daemon in question.
+
+start_rpkid			= ${myrpki::run_rpkid}
+start_irdbd			= ${myrpki::run_rpkid}
+start_pubd			= ${myrpki::run_pubd}
+start_rootd			= ${myrpki::run_rootd}
+
 # SQL configuration.  You can ignore this if you're not running any of
 # the daemons yourself.