tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Nicolas Mailhot <Nicolas.Mail...@one2team.com>
Subject Re: [Bug 3600] New: - /etc/rc.d scripts of the rpm
Date Fri, 14 Sep 2001 08:46:15 GMT

Le 2001.09.14 10:20, GOMEZ Henri a écrit :
> Hi man,
> 
> I'm learning to you.
> 
> What do you want exactly ?
> 
> Move tomcat configuration to /etc ?

Well that would be also great (missed this one, damned:)

What this bug is about is just moving

***
PATH=$PATH:/opt/IBMJava2-13/bin:/opt/IBMJava2-13/jre/bin
JAVA_HOME=/opt/IBMJava2-13
TOMCAT_HOME=/var/tomcat	

export PATH JAVA_HOME TOMCAT_HOME
***

to a file in /etc, for example /etc/tomcat.conf

and  add the lines

***
TOMCATCFG=/etc/tomcat.conf

if [ -f "$TOMCATCFG" ]; then                
		. "$TOMCATCFG"
        else
                echo $"(no tomcat configuration found)"
                exit 1
        fi

***

to /etc/rc.d/init.d/tomcat

This way /etc/rc.d/init.d/tomcat can change from one rpm to
the next one, but /etc/tomcat.conf can be marked as a config
file so users will keep their own parameters.

(a more complete solution is reading /etc/tomcat.conf if it
exists, and putting defaults in  /etc/rc.d/init.d/tomcat)   
 

***

TOMCATCFG=/etc/tomcat.conf

[ -e $TOMCATCFG ] && . $TOMCATCFG

if [ -z "$JAVA_HOME" ]; then
            JAVA_HOME="/opt/IBMJava2-13"
        fi

***

and so on.

Hope this is clear (mon anglais n'est pas fantastique)

-- 
Nicolas Mailhot

Mime
View raw message