From 48dba61ac71863c8a19677d96cc0de1880f8ca99 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Sat, 7 Dec 2024 17:01:18 +0100
Subject: [PATCH] Actually update the max_packet size

This was tried with e596a3b11 but did still fail.
---
 .github/jobs/baseinstall.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
index 9123500eb5..d292fc639c 100755
--- 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();"