diff options
author | Endi S. Dewata <edewata@redhat.com> | 2013-08-13 15:56:50 -0400 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2013-08-15 12:26:12 -0400 |
commit | 17d6be4d85741bffa21d93aceaff00223bc77dec (patch) | |
tree | 7703eba9059076e47c7262120150292270c54d15 /base/tps-tomcat/setup/registry_instance | |
parent | 4ab7fdc3c08a6279d838ae795889924e9fc306cb (diff) | |
download | pki-17d6be4d85741bffa21d93aceaff00223bc77dec.tar.gz pki-17d6be4d85741bffa21d93aceaff00223bc77dec.tar.xz pki-17d6be4d85741bffa21d93aceaff00223bc77dec.zip |
Moved Tomcat-based TPS to separate folder.
The source files for the new Tomcat-based TPS has been moved from base/tps
to base/tps-tomcat. The new TPS will now be build in pki-core and packaged
in pki-tps-tomcat RPM. The old TPS and RA have been restored to the previous
state before adding the new TPS. Once the new TPS is complete, the old TPS
can be removed, the new TPS can be moved back to base/tps and the package
can be renamed back to pki-tps.
Ticket #702
Diffstat (limited to 'base/tps-tomcat/setup/registry_instance')
-rw-r--r-- | base/tps-tomcat/setup/registry_instance | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/base/tps-tomcat/setup/registry_instance b/base/tps-tomcat/setup/registry_instance new file mode 100644 index 000000000..6365ecb9e --- /dev/null +++ b/base/tps-tomcat/setup/registry_instance @@ -0,0 +1,60 @@ +# Establish PKI Variable "Slot" Substitutions + +PKI_SUBSYSTEM_TYPE=[PKI_SUBSYSTEM_TYPE] +export PKI_SUBSYSTEM_TYPE + +PKI_USER=[PKI_USER] +export PKI_USER + +PKI_GROUP=[PKI_GROUP] +export PKI_GROUP + +PKI_INSTANCE_NAME=[PKI_INSTANCE_NAME] +export PKI_INSTANCE_NAME + +PKI_INSTANCE_PATH=[PKI_INSTANCE_PATH] +export PKI_INSTANCE_PATH + +PKI_INSTANCE_INITSCRIPT=[PKI_INSTANCE_INITSCRIPT] +export PKI_INSTANCE_INITSCRIPT + +PKI_SERVER_XML_CONF=[PKI_SERVER_XML_CONF] +export PKI_SERVER_XML_CONF + +# Use CATALINA_BASE + +CATALINA_BASE=$PKI_INSTANCE_PATH +export CATALINA_BASE + +TOMCAT_PROG=$PKI_INSTANCE_NAME +export TOMCAT_PROG + +TOMCAT_USER=$PKI_USER +export TOMCAT_USER + +TOMCAT_GROUP=$PKI_GROUP +export TOMCAT_GROUP + +PKI_LOCKDIR="/var/lock/pki/${PKI_SUBSYSTEM_TYPE}" +export PKI_LOCKDIR + +PKI_LOCKFILE="${PKI_LOCKDIR}/${PKI_INSTANCE_NAME}" +export PKI_LOCKFILE + +PKI_PIDDIR="/var/run/pki/${PKI_SUBSYSTEM_TYPE}" +export PKI_PIDDIR + +PKI_PIDFILE="${PKI_PIDDIR}/${PKI_INSTANCE_NAME}.pid" +export PKI_PIDFILE + +TOMCAT_LOCKFILE=/var/lock/subsys/${PKI_INSTANCE_NAME} +export TOMCAT_LOCKFILE + +TOMCAT_PIDFILE=[TOMCAT_PIDFILE] +export TOMCAT_PIDFILE + +pki_instance_configuration_file=${PKI_INSTANCE_PATH}/conf/CS.cfg +export pki_instance_configuration_file + +RESTART_SERVER=${PKI_INSTANCE_PATH}/conf/restart_server_after_configuration +export RESTART_SERVER |