diff options
Diffstat (limited to 'base/common/shared')
-rw-r--r-- | base/common/shared/conf/tomcat.conf | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/base/common/shared/conf/tomcat.conf b/base/common/shared/conf/tomcat.conf index 7b8f87cb5..57a3d1509 100644 --- a/base/common/shared/conf/tomcat.conf +++ b/base/common/shared/conf/tomcat.conf @@ -14,10 +14,6 @@ # (see, for instance, /etc/sysconfig/tomcat) # -if [ -f /etc/pki/pki.conf ] ; then - . /etc/pki/pki.conf -fi - # Where your java installation lives #JAVA_HOME="/usr/lib/jvm/jre" @@ -37,7 +33,7 @@ CATALINA_TMPDIR=[PKI_TMPDIR] #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=${RESTEASY_LIB}" +JAVA_OPTS="$JAVA_OPTS -DRESTEASY_LIB=[PKI_RESTEASY_LIB]" # What user should run tomcat TOMCAT_USER="[PKI_USER]" |