From 410eacc1a9b50ec3cb6c5fc0ff252516d0c0a4f1 Mon Sep 17 00:00:00 2001

From: Remi Collet <remi@php.net>

Date: Fri, 11 Dec 2015 13:21:24 +0100

Subject: [PATCH] Fix Bug #71089 No check to duplicate zend_extension

---

 Zend/zend_extensions.c | 8 ++++++++

 1 file changed, 8 insertions(+)

diff --git a/Zend/zend_extensions.c b/Zend/zend_extensions.c

index 8321f1c..fbf1f32 100644

--- a/Zend/zend_extensions.c

+++ b/Zend/zend_extensions.c

@@ -105,6 +105,14 @@ int zend_load_extension(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);

-- 

2.1.4