Update webstandard.sh

DOMjudge · Jun 19, 2024 · 1a4ebef · 1a4ebef
1 parent b0c28f2
commit 1a4ebef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/webstandard.sh b/.github/jobs/webstandard.sh
@@ -82,7 +82,7 @@ if [ "$ROLE" = "public" ]; then
     EXPECTED_HTTP_CODES="$EXPECTED_HTTP_CODES\|401"
 fi
 set +e
-NUM_ERRORS=$(grep -v "HTTP/1.1\" \($EXPECTED_HTTP_CODES\)" /var/log/nginx/domjudge.log | grep -v "robots.txt" -c; if [ "$?" -gt 1]; then exit 127; fi)
+NUM_ERRORS=$(grep -v "HTTP/1.1\" \($EXPECTED_HTTP_CODES\)" /var/log/nginx/domjudge.log | grep -v "robots.txt" -c; if [ "$?" -gt 1 ]; then exit 127; fi)
 set -e
 echo "$NUM_ERRORS"