8d87dc
From 410eacc1a9b50ec3cb6c5fc0ff252516d0c0a4f1 Mon Sep 17 00:00:00 2001
8d87dc
From: Remi Collet <remi@php.net>
8d87dc
Date: Fri, 11 Dec 2015 13:21:24 +0100
8d87dc
Subject: [PATCH] Fix Bug #71089 No check to duplicate zend_extension
8d87dc
8d87dc
---
8d87dc
 Zend/zend_extensions.c | 8 ++++++++
8d87dc
 1 file changed, 8 insertions(+)
8d87dc
8d87dc
diff --git a/Zend/zend_extensions.c b/Zend/zend_extensions.c
8d87dc
index 8321f1c..fbf1f32 100644
8d87dc
--- a/Zend/zend_extensions.c
8d87dc
+++ b/Zend/zend_extensions.c
8d87dc
@@ -105,6 +105,14 @@ int zend_load_extension(const char *path)
8d87dc
 #endif
8d87dc
 		DL_UNLOAD(handle);
8d87dc
 		return FAILURE;
8d87dc
+	} else if (zend_get_extension(new_extension->name)) {
8d87dc
+		fprintf(stderr, "Cannot load %s - extension already loaded\n", new_extension->name);
8d87dc
+/* See http://support.microsoft.com/kb/190351 */
8d87dc
+#ifdef PHP_WIN32
8d87dc
+		fflush(stderr);
8d87dc
+#endif
8d87dc
+		DL_UNLOAD(handle);
8d87dc
+		return FAILURE;
8d87dc
 	}
8d87dc
 
8d87dc
 	return zend_register_extension(new_extension, handle);
8d87dc
-- 
8d87dc
2.1.4
8d87dc