Fix missing space in ci script

1c3t3a · Nov 2, 2022 · 6acd555 · 6acd555
1 parent 4ac27c7
commit 6acd555
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/start_test_server.sh b/ci/start_test_server.sh
@@ -56,7 +56,7 @@ while sleep 60; do
   PROCESS_3_STATUS=$?
   # If the greps above find anything, they exit with 0 status
   # If they are not both 0, then something is wrong
-  if [ $PROCESS_1_STATUS -ne 0 -o $PROCESS_2_STATUS -ne 0 -o $PROCESS_3_STATUS -ne 0]; then
+  if [ $PROCESS_1_STATUS -ne 0 -o $PROCESS_2_STATUS -ne 0 -o $PROCESS_3_STATUS -ne 0 ]; then
     echo "One of the processes has already exited."
     exit 1
   fi