From 06ec6307d7679c691fc161992f4b4304c5e32aeb Mon Sep 17 00:00:00 2001
From: Ernst Persson <ernstp@gmail.com>
Date: Fri, 16 Feb 2024 11:52:20 +0100
Subject: [PATCH] Add get_server_info to db_pool.py (#324)

Django uses this for example.
---
 eventlet/db_pool.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/eventlet/db_pool.py b/eventlet/db_pool.py
index 27c0333cf..7deb99378 100644
--- a/eventlet/db_pool.py
+++ b/eventlet/db_pool.py
@@ -336,6 +336,7 @@ def __repr__(self):
         'errno',
         'error',
         'errorhandler',
+        'get_server_info',
         'insert_id',
         'literal',
         'ping',