Actually update the max_packet size

This was tried with e596a3b but did still fail.
DOMjudge · Dec 7, 2024 · 48dba61 · 48dba61
1 parent 4043836
commit 48dba61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -64,7 +64,7 @@ mysql_root "show databases"
 mysql_root "SELECT CURRENT_USER();"
 mysql_root "SELECT USER();"
 mysql_root "SELECT user,host FROM mysql.user"
-mysql_root "SET max_allowed_packet=1073741824"
+mysql_root "SET GLOBAL max_allowed_packet=1073741824"
 echo "unused:sqlserver:domjudge:domjudge:domjudge:3306" > /opt/domjudge/domserver/etc/dbpasswords.secret
 mysql_user "SELECT CURRENT_USER();"
 mysql_user "SELECT USER();"