From a1d6c90d8630ec1385f10052656d129498720adf Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Mon, 13 Jun 2016 09:44:25 +0200 Subject: [PATCH] fix undefined symbol ZEND_ASSERT --- src/php_http_client_curl_event.c | 2 -- src/php_http_client_curl_user.c | 2 -- 2 files changed, 4 deletions(-) diff --git a/src/php_http_client_curl_event.c b/src/php_http_client_curl_event.c index 9b1808b..058c51f 100644 --- a/src/php_http_client_curl_event.c +++ b/src/php_http_client_curl_event.c @@ -289,8 +289,6 @@ static void php_http_client_curl_event_dtor(void **context) fprintf(stderr, "D"); #endif - ZEND_ASSERT(ctx); - curl = ctx->client->ctx; curl_multi_setopt(curl->handle->multi, CURLMOPT_SOCKETDATA, NULL); diff --git a/src/php_http_client_curl_user.c b/src/php_http_client_curl_user.c index 94d7f41..6fdfa36 100644 --- a/src/php_http_client_curl_user.c +++ b/src/php_http_client_curl_user.c @@ -243,8 +243,6 @@ static void php_http_client_curl_user_dtor(void **context) fprintf(stderr, "D"); #endif - ZEND_ASSERT(ctx); - curl = ctx->client->ctx; curl_multi_setopt(curl->handle->multi, CURLMOPT_SOCKETDATA, NULL); -- 2.30.2