1
0
mirror of https://github.com/php/php-src.git synced 2026-04-26 17:38:14 +02:00

Fix buglet

This commit is contained in:
Zeev Suraski
2001-08-03 16:08:01 +00:00
parent fa0481609c
commit c06dbe23bb
+1 -1
View File
@@ -456,7 +456,7 @@ ZEND_API void shutdown_memory_manager(int silent, int clean_cache)
TSRMLS_FETCH();
#if defined(ZEND_WIN32) && !ZEND_DEBUG
if (AG(memory_heap)) {
if (clean_cache && AG(memory_heap)) {
HeapDestroy(AG(memory_heap));
return;
}