Fixed bug #30050 (Possible crash inside php_shutdown_config()).

# Patch suggestion by nw at softwarekombinat dot de

diff --git a/main/php_ini.c b/main/php_ini.c
index 35542ef63d7cf2559e99da6160a1a1e5de33e2dc..a8c1129dbb550e66817602e451bc9e51d7f05afd 100644 (file)
--- a/main/php_ini.c
+++ b/main/php_ini.c
@@ -534,9 +534,11 @@ int php_shutdown_config(void)
        zend_hash_destroy(&configuration_hash);
        if (php_ini_opened_path) {
                free(php_ini_opened_path);
+               php_ini_opened_path = NULL;
        }
        if (php_ini_scanned_files) {
                free(php_ini_scanned_files);
+               php_ini_scanned_files = NULL;
        }
        return SUCCESS;
 }