diff options
Diffstat (limited to 'www/jakarta-tomcat3/files/tomcat.sh')
| -rw-r--r-- | www/jakarta-tomcat3/files/tomcat.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/www/jakarta-tomcat3/files/tomcat.sh b/www/jakarta-tomcat3/files/tomcat.sh index 0b3990d7d84c..ac29e67ca817 100644 --- a/www/jakarta-tomcat3/files/tomcat.sh +++ b/www/jakarta-tomcat3/files/tomcat.sh @@ -7,13 +7,13 @@ export TOMCAT_HOME case "$1" in start) - if [ -x %%PREFIX%%/tomcat/bin/tomcat.sh ]; then - %%PREFIX%%/tomcat/bin/tomcat.sh start > /dev/null && echo ' tomcat' + if [ -f %%PREFIX%%/tomcat/bin/tomcat.sh ]; then + /bin/sh %%PREFIX%%/tomcat/bin/tomcat.sh start > /dev/null && echo ' tomcat' fi ;; stop) - if [ -x %%PREFIX%%/tomcat/bin/tomcat.sh ]; then - %%PREFIX%%/tomcat/bin/tomcat.sh stop > /dev/null && echo ' tomcat' + if [ -f %%PREFIX%%/tomcat/bin/tomcat.sh ]; then + /bin/sh %%PREFIX%%/tomcat/bin/tomcat.sh stop > /dev/null && echo ' tomcat' fi ;; *) |