diff options
Diffstat (limited to 'ca/rpki-confgen.xml')
| -rw-r--r-- | ca/rpki-confgen.xml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ca/rpki-confgen.xml b/ca/rpki-confgen.xml index 14f160ab..63e9d793 100644 --- a/ca/rpki-confgen.xml +++ b/ca/rpki-confgen.xml @@ -217,6 +217,15 @@ </doc> </option> + <option name = "publication_rrdp_notification_uri" + value = "https://${myrpki::pubd_server_host}/rrdp/notify.xml"> + + <doc> + URI for RRDP notification file. In most cases this should be + a HTTPS URL for the notify.xml file on the publication server. + </doc> + </option> + <option name = "start_rpkid" value = "${myrpki::run_rpkid}"> <doc> @@ -857,6 +866,13 @@ </doc> </option> + <option name = "rrdp-notification-uri" + value = "${myrpki::publication_rrdp_notification_uri"> + <doc> + RRDP URI for inclusion in generated objects. + </doc> + </option> + </section> <section name = "web_portal"> |