diff options
author | Endi S. Dewata <edewata@redhat.com> | 2015-05-22 10:26:22 -0400 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2015-05-22 19:24:03 -0400 |
commit | c6d781ee897deb213411f6caba9ae8a1770af732 (patch) | |
tree | 302c6a6b256f97e254fe79f61a55f3c90c3e9f03 /base/server/etc/default.cfg | |
parent | e7c6b5ea5a109da2a2385aeb616825082c2ddd60 (diff) | |
download | pki-c6d781ee897deb213411f6caba9ae8a1770af732.tar.gz pki-c6d781ee897deb213411f6caba9ae8a1770af732.tar.xz pki-c6d781ee897deb213411f6caba9ae8a1770af732.zip |
Added deployment parameters to construct pki_clone_uri.
New parameters have been added into the default.cfg to specify the
master hostname and port for pki_clone_uri. By default they point
to the security domain. The man page has been updated as well.
https://fedorahosted.org/pki/ticket/1385
Diffstat (limited to 'base/server/etc/default.cfg')
-rw-r--r-- | base/server/etc/default.cfg | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/base/server/etc/default.cfg b/base/server/etc/default.cfg index 18b8527b2..fd4347900 100644 --- a/base/server/etc/default.cfg +++ b/base/server/etc/default.cfg @@ -194,7 +194,9 @@ pki_clone_replication_master_port= pki_clone_replication_clone_port= pki_clone_replication_security=None pki_clone_setup_replication=True -pki_clone_uri= +pki_master_hostname=%(pki_security_domain_hostname)s +pki_master_https_port=%(pki_security_domain_https_port)s +pki_clone_uri=https://%(pki_master_hostname)s:%(pki_master_https_port)s pki_enable_access_log=True pki_enable_java_debugger=False pki_enable_on_system_boot=True |