fix undefined symbol ZEND_ASSERT
authorMichael Wallner <mike@php.net>
Mon, 13 Jun 2016 07:44:25 +0000 (09:44 +0200)
committerMichael Wallner <mike@php.net>
Mon, 13 Jun 2016 07:44:25 +0000 (09:44 +0200)
src/php_http_client_curl_event.c
src/php_http_client_curl_user.c

index 9b1808b..058c51f 100644 (file)
@@ -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);
index 94d7f41..6fdfa36 100644 (file)
@@ -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);