diff options
Diffstat (limited to 'base/deploy/config/pkideployment.cfg')
| -rw-r--r-- | base/deploy/config/pkideployment.cfg | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/base/deploy/config/pkideployment.cfg b/base/deploy/config/pkideployment.cfg index db9ce54dd..954fa935d 100644 --- a/base/deploy/config/pkideployment.cfg +++ b/base/deploy/config/pkideployment.cfg @@ -1,5 +1,8 @@ [Common] +pki_source_root=/usr/share/pki pki_instance_root=/var/lib/pki +pki_instance_configuration_root=/etc/pki +pki_instance_log_root=/var/log/pki pki_instance_name=instance pki_user=pkiuser pki_group=pkiuser @@ -10,19 +13,24 @@ pki_http_port=80 pki_https_port=443 [Tomcat] pki_web_server=Tomcat +pki_tomcat_root=/usr/share/tomcat pki_http_port=8080 pki_https_port=8443 pki_ajp_port=8009 pki_security_manager=true [CA] pki_subsystem=CA +pki_war_name=ca.war [KRA] pki_subsystem=KRA +pki_war_name=kra.war [OCSP] pki_subsystem=OCSP +pki_war_name=ocsp.war [RA] pki_subsystem=RA [TKS] pki_subsystem=TKS +pki_war_name=tks.war [TPS] pki_subsystem=TPS |