diff options
| author | zimuyang <yuanhualong666@gmail.com> | 2017-11-15 18:43:18 +0800 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2017-11-16 00:16:15 +0100 |
| commit | b304f3bc0ecc324920d59dd016078e5c2d110008 (patch) | |
| tree | 740b7bd50a7f318c1da870843fdbcc341bfb2971 | |
| parent | 1e3f625aa5e240b29150a7ba73fc8eede7cc0e2c (diff) | |
| download | php-git-b304f3bc0ecc324920d59dd016078e5c2d110008.tar.gz | |
Remove duplicate check for already loaded extension
| -rw-r--r-- | Zend/zend_extensions.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Zend/zend_extensions.c b/Zend/zend_extensions.c index e556eb07bc..8da0914748 100644 --- a/Zend/zend_extensions.c +++ b/Zend/zend_extensions.c @@ -125,14 +125,6 @@ int zend_load_extension_handle(DL_HANDLE handle, const char *path) #endif DL_UNLOAD(handle); return FAILURE; - } else if (zend_get_extension(new_extension->name)) { - fprintf(stderr, "Cannot load %s - extension already loaded\n", new_extension->name); -/* See http://support.microsoft.com/kb/190351 */ -#ifdef PHP_WIN32 - fflush(stderr); -#endif - DL_UNLOAD(handle); - return FAILURE; } return zend_register_extension(new_extension, handle); |