Ticket #3645: mysql_ping.patch

pool.py

@@ -55 +55 @@
     critical times because of a timeout on the Connection.
     """
     try:
+        if hasattr(cnx, 'ping'):
+            cnx.ping()
         cnx.rollback() # resets the connection
         return True
     except Exception: