diff options
Diffstat (limited to 'main/php_ini.c')
| -rw-r--r-- | main/php_ini.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/main/php_ini.c b/main/php_ini.c index 35542ef63d..a8c1129dbb 100644 --- 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; } |