diff options
| author | Andi Gutmans <andi@php.net> | 2000-10-18 19:48:17 +0000 |
|---|---|---|
| committer | Andi Gutmans <andi@php.net> | 2000-10-18 19:48:17 +0000 |
| commit | a953f6bc5bdc964b992bec34bdff40281e70f0c6 (patch) | |
| tree | b54399a7c1772b488bdb3aa28a0069c99c494ed1 /Zend/zend_extensions.c | |
| parent | 9f71179ca99e2670e968998ccb3a485db37e76e2 (diff) | |
| download | php-git-a953f6bc5bdc964b992bec34bdff40281e70f0c6.tar.gz | |
- Fix crash
Diffstat (limited to 'Zend/zend_extensions.c')
| -rw-r--r-- | Zend/zend_extensions.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Zend/zend_extensions.c b/Zend/zend_extensions.c index 932b3ecd5f..6859f5f0c5 100644 --- a/Zend/zend_extensions.c +++ b/Zend/zend_extensions.c @@ -138,13 +138,17 @@ static void zend_extension_shutdown(zend_extension *extension) #endif } +static int zend_compare_extensions(zend_extension *extension1, zend_extension *extension2) +{ + return (extension1->handle == extension2->handle); +} static void zend_extension_startup(zend_extension *extension) { #if ZEND_EXTENSIONS_SUPPORT if (extension->startup) { if (extension->startup(extension)!=SUCCESS) { - DL_UNLOAD(extension->handle); + zend_llist_del_element(&zend_extensions, extension, (int(*)(void *, void *)) zend_compare_extensions); } } #endif |