diff options
author | Dmitry Stogov <dmitry@zend.com> | 2014-09-09 00:50:44 +0400 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2014-09-09 00:50:44 +0400 |
commit | 7edd562787d1107f6169e209def9f4be6fa03d02 (patch) | |
tree | 35178d98213b494f9feafd7318eb65da4fa356ca /Zend/zend_extensions.c | |
parent | a9d985263a8a3c0a654f466c32ff9b54b7a6116f (diff) | |
download | php-git-7edd562787d1107f6169e209def9f4be6fa03d02.tar.gz |
Don't anload zend extensions if ZEND_DONT_UNLOAD_MODULES environment variable is set
Diffstat (limited to 'Zend/zend_extensions.c')
-rw-r--r-- | Zend/zend_extensions.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_extensions.c b/Zend/zend_extensions.c index 5fe6627f6c..04150920af 100644 --- a/Zend/zend_extensions.c +++ b/Zend/zend_extensions.c @@ -195,7 +195,7 @@ void zend_shutdown_extensions(TSRMLS_D) void zend_extension_dtor(zend_extension *extension) { #if ZEND_EXTENSIONS_SUPPORT && !ZEND_DEBUG - if (extension->handle) { + if (extension->handle && !getenv("ZEND_DONT_UNLOAD_MODULES")) { DL_UNLOAD(extension->handle); } #endif |