[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
pki_audit_group=pkiaudit
[Apache]
pki_web_server=Apache
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