diff options
Diffstat (limited to 'rpkid/examples/rpki.conf')
| -rw-r--r-- | rpkid/examples/rpki.conf | 15 |
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. |