diff options
author | Endi S. Dewata <edewata@redhat.com> | 2013-07-10 14:55:31 -0400 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2013-07-13 12:21:46 -0400 |
commit | b3fad9255135e1f0347d07f3c8714f7d9a899b6c (patch) | |
tree | cb62c2b5287c24ab99a7ba107ab83e219d5bf722 /base/server/share/conf/tomcat.conf | |
parent | b5fd84a51def755fc02fbbf9bc35e58fb11beaf0 (diff) | |
download | pki-b3fad9255135e1f0347d07f3c8714f7d9a899b6c.tar.gz pki-b3fad9255135e1f0347d07f3c8714f7d9a899b6c.tar.xz pki-b3fad9255135e1f0347d07f3c8714f7d9a899b6c.zip |
Reorganized server files.
Some server files in base/common have been moved to base/server for
consistency. The build scripts have been updated accordingly.
Diffstat (limited to 'base/server/share/conf/tomcat.conf')
-rw-r--r-- | base/server/share/conf/tomcat.conf | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/base/server/share/conf/tomcat.conf b/base/server/share/conf/tomcat.conf new file mode 100644 index 000000000..9457b0ce7 --- /dev/null +++ b/base/server/share/conf/tomcat.conf @@ -0,0 +1,66 @@ +# --- BEGIN COPYRIGHT BLOCK --- +# Copyright (C) 2012 Red Hat, Inc. +# All rights reserved. +# 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) +# + +# Where your java installation lives +#JAVA_HOME="/usr/lib/jvm/jre" + +# Where your tomcat installation lives +CATALINA_BASE="[PKI_INSTANCE_PATH]" +#CATALINA_HOME="/usr/share/tomcat" +#JASPER_HOME="/usr/share/tomcat" +CATALINA_TMPDIR=[PKI_TMPDIR] + +# You can pass some parameters to java here if you wish to +#JAVA_OPTS="-Xminf0.1 -Xmaxf0.3" + +# Use JAVA_OPTS to set java.library.path for libtcnative.so +#JAVA_OPTS="-Djava.library.path=/usr/lib" + +# Enable the following JAVA_OPTS to run a java debugger (e. g. - 'eclipse') +#JAVA_OPTS="-Xdebug -Xrunjdwp:transport=dt_socket,address=8000,server=y,suspend=n -Djava.awt.headless=true -Xmx128M" + +# RESTEasy +JAVA_OPTS="$JAVA_OPTS -DRESTEASY_LIB=[PKI_RESTEASY_LIB]" + +# What user should run tomcat +TOMCAT_USER="[PKI_USER]" + +# You can change your tomcat locale here +#LANG="en_US" + +# Run tomcat under the Java Security Manager +SECURITY_MANAGER="[PKI_SECURITY_MANAGER]" + +# Time to wait in seconds, before killing process +#SHUTDOWN_WAIT="30" + +# Whether to annoy the user with "attempting to shut down" messages or not +#SHUTDOWN_VERBOSE="false" + +# Set the TOMCAT_PID location +CATALINA_PID="[TOMCAT_PIDFILE]" + +# Set the tomcat log file +TOMCAT_LOG="[TOMCAT_LOG_DIR]/tomcat-initd.log" + +# Connector port is 8080 for this tomcat instance +#CONNECTOR_PORT="8080" + +# If you wish to further customize your tomcat environment, +# put your own definitions here +# (i.e. LD_LIBRARY_PATH for some jdbc drivers) + +PKI_VERSION=[APPLICATION_VERSION] |