From 7fcbee7ee7d75c43f9c660555bf33e13dac09745 Mon Sep 17 00:00:00 2001
From: Matteo Beccati <matteo@beccati.com>
Date: Mon, 22 Apr 2024 10:53:37 +0200
Subject: [PATCH] Properly handle MySQL error code 4031 from PHP 8.4

It has been introduced in:
https://github.com/mysql/mysql-server/commit/14508bbb1790697c28659dd051fbc855cd3b5da9

And PHP 8.4 will support it:
https://github.com/php/php-src/pull/13618
---
 src/Driver/API/MySQL/ExceptionConverter.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Driver/API/MySQL/ExceptionConverter.php b/src/Driver/API/MySQL/ExceptionConverter.php
index 254489834f2..1313d51a6b3 100644
--- a/src/Driver/API/MySQL/ExceptionConverter.php
+++ b/src/Driver/API/MySQL/ExceptionConverter.php
@@ -78,6 +78,7 @@ public function convert(Exception $exception, ?Query $query): DriverException
             2002,
             2005,
             2054 => new ConnectionException($exception, $query),
+            4031,
             2006 => new ConnectionLost($exception, $query),
             1048,
             1121,