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 9b1808b92f43be348222de8fc481a770c4ae139f..058c51f831cdcb6d64bce28da87cf8ba8d858787 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 94d7f41294818f49a3cb3f0776e72320faf1adf8..6fdfa36449f4f43629a1dbb3f99b93bc904b47a5 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);