--- mkini.sh 2003-05-12 17:00:28.000000000 +0200 +++ mkini.sh.patched 2003-05-12 17:00:28.000000000 +0200 @@ -3,5 +3,13 @@ echo "log_level=debug" echo "worker_file=$1/conf/workers.properties" echo "worker_mount_file=$1/conf/uriworkermap.properties" -echo "tomcat_start=$1/bin/tomcat.sh start" -echo "tomcat_stop=$1/bin/tomcat.sh stop" +if [ -f "$1/bin/tomcat.sh" ];then + echo "tomcat_start=$1/bin/tomcat.sh start" + echo "tomcat_stop=$1/bin/tomcat.sh stop" +elif [ -f "$1/bin/catalina.sh" ];then + echo "tomcat_start=$1/bin/catalina.sh start" + echo "tomcat_stop=$1/bin/catalina.sh stop" +elif [ -f "$1/bin/startup.sh" ] || [ -f "$1/bin/shutdown.sh" ] ;then + echo "tomcat_start=$1/bin/startup.sh" + echo "tomcat_stop=$1/bin/shutdown.sh" +fi