diff options
Diffstat (limited to 'base/server/share')
| -rw-r--r-- | base/server/share/conf/tomcat.conf | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/base/server/share/conf/tomcat.conf b/base/server/share/conf/tomcat.conf index 83a6cf1e6..bd2359c8b 100644 --- a/base/server/share/conf/tomcat.conf +++ b/base/server/share/conf/tomcat.conf @@ -4,23 +4,15 @@ # Modifications: configuration parameters # --- END COPYRIGHT BLOCK --- -# System-wide configuration file for tomcat services -# This will be sourced by tomcat and any secondary service -# Values will be overridden by service-specific configuration -# files in /etc/sysconfig -# -# Use this one to change default values for all services -# Change the service specific ones to affect only one service -# (see, for instance, /etc/sysconfig/tomcat) -# +# This file contains instance-specific configuration. # Where your java installation lives -#JAVA_HOME="/usr/lib/jvm/jre" +JAVA_HOME="[JAVA_HOME]" # Where your tomcat installation lives CATALINA_BASE="[PKI_INSTANCE_PATH]" -#CATALINA_HOME="/usr/share/tomcat" -#JASPER_HOME="/usr/share/tomcat" + +# Instance tmp dir CATALINA_TMPDIR=[PKI_TMPDIR] # NOTE: JAVA_OPTS is now only read once. All desired settings must be concatenated |