diff options
| author | Dirk Froemberg <dirk@FreeBSD.org> | 2001-08-05 09:37:23 +0000 |
|---|---|---|
| committer | Dirk Froemberg <dirk@FreeBSD.org> | 2001-08-05 09:37:23 +0000 |
| commit | 8fc93c2651780229193ed9d11839823f2131ba85 (patch) | |
| tree | e37cd7bc3cd4c2db2f4a0c3fbaccf0fb732f084c /www/tomcat41/files | |
| parent | Upgrade to 0.3.4. (diff) | |
Upgrade to 3.2.3.
Diffstat (limited to 'www/tomcat41/files')
| -rw-r--r-- | www/tomcat41/files/tomcat.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/www/tomcat41/files/tomcat.sh b/www/tomcat41/files/tomcat.sh index 0b3990d7d84c..ac29e67ca817 100644 --- a/www/tomcat41/files/tomcat.sh +++ b/www/tomcat41/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 ;; *) |