mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
reworked ini dtor
This commit is contained in:
parent
eb629b70da
commit
9e4310eeeb
3 changed files with 15 additions and 4 deletions
|
@ -114,11 +114,17 @@ ZEND_API int zend_ini_startup(void) /* {{{ */
|
|||
}
|
||||
/* }}} */
|
||||
|
||||
ZEND_API int zend_ini_shutdown(HashTable *ini_directives) /* {{{ */
|
||||
ZEND_API int zend_ini_shutdown(void) /* {{{ */
|
||||
{
|
||||
zend_ini_dtor(EG(ini_directives));
|
||||
return SUCCESS;
|
||||
}
|
||||
/* }}} */
|
||||
|
||||
ZEND_API void zend_ini_dtor(HashTable *ini_directives) /* {{{ */
|
||||
{
|
||||
zend_hash_destroy(ini_directives);
|
||||
free(ini_directives);
|
||||
return SUCCESS;
|
||||
}
|
||||
/* }}} */
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue