fix crash with free'd event_base pointer

diff --git a/php_http_curl_client_pool.c b/php_http_curl_client_pool.c
index 5f175699fdf9e99086691a6e3f38708eec54247e..4edff74e99341166225dd26056bc13a46616c9d8 100644 (file)
--- 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;
 }