From 57abaebea6208761ff130e2feeef24cdcba7dbf1 Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Wed, 1 May 2024 09:52:00 +0200
Subject: [PATCH] Fix submit tests on updated CI.

---
 submit/submit_standalone.bats | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/submit/submit_standalone.bats b/submit/submit_standalone.bats
index e13f71248e..dd476fd6e8 100755
--- a/submit/submit_standalone.bats
+++ b/submit/submit_standalone.bats
@@ -18,23 +18,23 @@ setup() {
 @test "baseurl set in environment" {
     run ./submit
     assert_failure 1
-    assert_regex "$SUBMITBASEHOST.*/api(/.*)?/contests.*: \[Errno -2\] Name or service not known"
+    assert_regex "$SUBMITBASEHOST.*/api(/.*)?/contests.*\[Errno -2\] Name or service not known"
 }
 
 @test "baseurl via parameter overrides environment" {
     run ./submit --url https://domjudge.example.edu
     assert_failure 1
-    assert_regex "domjudge.example.edu.*/api(/.*)?/contests.*: \[Errno -2\] Name or service not known"
+    assert_regex "domjudge.example.edu.*/api(/.*)?/contests.*\[Errno -2\] Name or service not known"
 
     run ./submit -u https://domjudge3.example.edu
     assert_failure 1
-    assert_regex "domjudge3.example.edu.*/api(/.*)?/contests.*: \[Errno -2\] Name or service not known"
+    assert_regex "domjudge3.example.edu.*/api(/.*)?/contests.*\[Errno -2\] Name or service not known"
 }
 
 @test "baseurl can end in slash" {
     run ./submit --url https://domjudge.example.edu/domjudge/
     assert_failure 1
-    assert_regex "domjudge.example.edu.*/api(/.*)?/contests.*: \[Errno -2\] Name or service not known"
+    assert_regex "domjudge.example.edu.*/api(/.*)?/contests.*\[Errno -2\] Name or service not known"
 }
 
 @test "display basic usage information" {