- Remove double destroy (which is definitively wrong and prevents php from

  normal execution).

diff --git a/ext/mysqli/mysqli.c b/ext/mysqli/mysqli.c
index 2a98eefb636ec4736871cc00e96d58160dc04250..e1542300c9202a7e02bbdab44f8eac7e200df776 100644 (file)
--- a/ext/mysqli/mysqli.c
+++ b/ext/mysqli/mysqli.c
@@ -578,7 +578,6 @@ PHP_MINIT_FUNCTION(mysqli)
  */
 PHP_MSHUTDOWN_FUNCTION(mysqli)
 {
-       zend_hash_destroy(&mysqli_driver_properties);
        zend_hash_destroy(&mysqli_driver_properties);
        zend_hash_destroy(&mysqli_result_properties);
        zend_hash_destroy(&mysqli_stmt_properties);