Issue #10696 - Fixing bad UID / JETTY_USER condition

Signed-off-by: Joakim Erdfelt <[email protected]>
jetty · Oct 10, 2023 · 1c87984 · 1c87984
1 parent 17c8b4d
commit 1c87984
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jetty-home/src/main/resources/bin/jetty.sh b/jetty-home/src/main/resources/bin/jetty.sh
@@ -553,7 +553,7 @@ case "$ACTION" in
     fi
 
     # Do not test for file system permissions if user is root, or process will switch to JETTY_USER
-    if [ $UID -ne 0] && [ -z "$JETTY_USER"]
+    if [ $UID -ne 0 ] && [ -z "$JETTY_USER" ]
     then
       if ! touch "$JETTY_PID"
       then