diff --git a/jetty-home/src/main/resources/bin/jetty.sh b/jetty-home/src/main/resources/bin/jetty.sh index 069fd55ec30..0c183e1c029 100755 --- a/jetty-home/src/main/resources/bin/jetty.sh +++ b/jetty-home/src/main/resources/bin/jetty.sh @@ -385,7 +385,7 @@ fi ##################################################### # Set STARTED timeout ##################################################### -if [ -z "$JETTY_START_TIMEOUT"] +if [ -z "$JETTY_START_TIMEOUT" ] then JETTY_START_TIMEOUT=60 fi