From 94d72ead0571b2de0a8b01be7c8fc0798a99f02b 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 87d50aff9e3..fdfc75a77fd 100644
--- a/src/Driver/API/MySQL/ExceptionConverter.php
+++ b/src/Driver/API/MySQL/ExceptionConverter.php
@@ -101,6 +101,7 @@ public function convert(Exception $exception, ?Query $query): DriverException
                 return new ConnectionException($exception, $query);
 
             case 2006:
+            case 4031:
                 return new ConnectionLost($exception, $query);
 
             case 1048: