diff options
author | Zeev Suraski <zeev@php.net> | 1999-12-27 17:24:33 +0000 |
---|---|---|
committer | Zeev Suraski <zeev@php.net> | 1999-12-27 17:24:33 +0000 |
commit | 1ad06e428dc96a8b229d45fa31f754024f67e1cd (patch) | |
tree | 9c0b58ef70d84b67575810c1038e69c0c5e7e294 /Zend/zend_alloc.c | |
parent | ebd4445ba252eca168aba4cf82dae069e2c193bf (diff) | |
download | php-git-1ad06e428dc96a8b229d45fa31f754024f67e1cd.tar.gz |
*** empty log message ***
Diffstat (limited to 'Zend/zend_alloc.c')
-rw-r--r-- | Zend/zend_alloc.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Zend/zend_alloc.c b/Zend/zend_alloc.c index e941703191..d778d6fd6c 100644 --- a/Zend/zend_alloc.c +++ b/Zend/zend_alloc.c @@ -397,6 +397,10 @@ ZEND_API void shutdown_memory_manager(int silent, int clean_cache) zval display_memory_cache_stats; int i, j; + if (clean_cache) { + /* we're shutting down completely, don't even touch the INI subsystem */ + break; + } if (zend_get_ini_entry("display_memory_cache_stats", sizeof("display_memory_cache_stats"), &display_memory_cache_stats)==FAILURE) { break; } |