diff options
Diffstat (limited to 'Zend')
| -rw-r--r-- | Zend/zend_API.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Zend/zend_API.c b/Zend/zend_API.c index 008b60b373..7d4b95c870 100644 --- a/Zend/zend_API.c +++ b/Zend/zend_API.c @@ -797,7 +797,8 @@ void module_destructor(zend_module_entry *module) if (module->type == MODULE_TEMPORARY) { zend_clean_module_rsrc_dtors(module->module_number); clean_module_constants(module->module_number); - module->request_shutdown_func(module->type, module->module_number); + if (module->request_shutdown_func) + module->request_shutdown_func(module->type, module->module_number); } if (module->module_started && module->module_shutdown_func) { |