Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 20863
Collapse All | Expand All

(-)file_not_specified_in_diff (-3 / +11 lines)
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

Return to bug 20863