diff options
Diffstat (limited to 'launcher/itweb-settings.in')
| -rw-r--r-- | launcher/itweb-settings.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/launcher/itweb-settings.in b/launcher/itweb-settings.in index b719ec3..8b8905d 100644 --- a/launcher/itweb-settings.in +++ b/launcher/itweb-settings.in @@ -14,7 +14,7 @@ if [ "x$CUSTOM_JRE" = "x" ] ; then CUSTOM_JRE=`grep "$CUSTOM_JRE_REGEX" /etc/.java/.deploy/deployment.properties 2>/dev/null | sed "s/$CUSTOM_JRE_REGEX//g"` fi; if [ "x$CUSTOM_JRE" != "x" ] ; then - if [ -d "$CUSTOM_JRE" -a -f "$CUSTOM_JRE/bin/java" ] ; then + if [ -e "$CUSTOM_JRE" -a -e "$CUSTOM_JRE/bin/java" ] ; then JAVA=$CUSTOM_JRE/bin/java else echo "Your custom JRE $CUSTOM_JRE read from deployment.properties under key $PROPERTY_NAME as $CUSTOM_JRE is not valid. Using default ($JAVA) in attempt to start. Please fix this." |