Line
Link Here
|
0 |
-- mkini.sh 2003-05-12 17:00:28.000000000 +0200 |
0 |
++ mkini.sh.patched 2003-05-12 17:00:28.000000000 +0200 |
Lines 3-7
Link Here
|
3 |
echo "log_level=debug" |
3 |
echo "log_level=debug" |
4 |
echo "worker_file=$1/conf/workers.properties" |
4 |
echo "worker_file=$1/conf/workers.properties" |
5 |
echo "worker_mount_file=$1/conf/uriworkermap.properties" |
5 |
echo "worker_mount_file=$1/conf/uriworkermap.properties" |
6 |
echo "tomcat_start=$1/bin/tomcat.sh start" |
6 |
if [ -f "$1/bin/tomcat.sh" ];then |
7 |
echo "tomcat_stop=$1/bin/tomcat.sh stop" |
7 |
echo "tomcat_start=$1/bin/tomcat.sh start" |
|
|
8 |
echo "tomcat_stop=$1/bin/tomcat.sh stop" |
9 |
elif [ -f "$1/bin/catalina.sh" ];then |
10 |
echo "tomcat_start=$1/bin/catalina.sh start" |
11 |
echo "tomcat_stop=$1/bin/catalina.sh stop" |
12 |
elif [ -f "$1/bin/startup.sh" ] || [ -f "$1/bin/shutdown.sh" ] ;then |
13 |
echo "tomcat_start=$1/bin/startup.sh" |
14 |
echo "tomcat_stop=$1/bin/shutdown.sh" |
15 |
fi |