From 6613a45677fdb365ca18429712c239e285e0e548 Mon Sep 17 00:00:00 2001
From: Zachary Duquette <zachary.duquette@eidosmontreal.com>
Date: Fri, 18 Aug 2017 16:10:02 -0400
Subject: [PATCH] Added missing space to remove bash warning from
 JETTY_START_TIMEOUT

Signed-off-by: Zachary Duquette <zachary.duquette@eidosmontreal.com>
---
 jetty-home/src/main/resources/bin/jetty.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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