From 29da2f786a5e5afdace78adfded0b15c38a6a6cc Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Wed, 12 Dec 2012 18:15:20 +0000
Subject: [PATCH] fix crash with free'd event_base pointer

---
 php_http_curl_client_pool.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/php_http_curl_client_pool.c b/php_http_curl_client_pool.c
index 5f17569..4edff74 100644
--- a/php_http_curl_client_pool.c
+++ b/php_http_curl_client_pool.c
@@ -571,6 +571,7 @@ PHP_RSHUTDOWN_FUNCTION(http_curl_client_pool)
 {
 	if (PHP_HTTP_G->curl.event_base) {
 		event_base_free(PHP_HTTP_G->curl.event_base);
+		PHP_HTTP_G->curl.event_base = NULL;
 	}
 	return SUCCESS;
 }
-- 
2.30.2