diff --git a/jetty-home/src/main/resources/bin/jetty.sh b/jetty-home/src/main/resources/bin/jetty.sh index b2b69a3d75c..c128bbad2ce 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