whatever

ls1intum · Sep 11, 2023 · 2f5a008 · 2f5a008
1 parent c0bd96e
commit 2f5a008
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/supporting_scripts/extract_number_of_server_starts.sh b/supporting_scripts/extract_number_of_server_starts.sh
@@ -9,8 +9,8 @@ then
   exit 1
 fi
 
-if [[ $numberOfStarts -gt 4 ]]
+if [[ $numberOfStarts -gt 5 ]]
 then
-  echo "The number of Server Starts should not be greater than 4!"
+  echo "The number of Server Starts should not be greater than 5!"
   exit 1
 fi