curl / Mailing Lists / curl-users / Single Mail

Buy commercial curl support from WolfSSL. We help you work out your issues, debug your libcurl applications, use the API, port to new platforms, add new features and more. With a team lead by the curl founder himself.

Re: PHP CURLOPT_DNS_SERVER

From: Jon Chalk via curl-users <curl-users_at_cool.haxx.se>
Date: Tue, 7 Jul 2020 16:23:01 -0400

> On Jul 7, 2020, at 3:37 PM, Dan Fandrich via curl-users <curl-users_at_cool.haxx.se> wrote:
>
> On Tue, Jul 07, 2020 at 02:50:52PM -0400, Jon Chalk via curl-users wrote:
>> Is the CURLOPT_DNS_SERVER option currently implemented in the PHP curl
>> function?
>>
>> I’m trying to override my default DNS server but it doesn't appear to be taking
>> effect. Will I get an error msg if I try to set an option that doesn’t exist?
>
> Sounds like a question to ask the PHP/curl maintainers.
>
> Dan
> -----------------------------------------------------------
> Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
> Etiquette: https://curl.haxx.se/mail/etiquette.html

My bad - I’ve resent this query to the PHP mailing list

Jon
-----------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
Etiquette: https://curl.haxx.se/mail/etiquette.html
Received on 2020-07-07

This message: [ Message body ]
Next message: Philip Tellis via curl-users: "curl won't reuse connections (using curl_easy)"
Previous message: Dan Fandrich via curl-users: "Re: PHP CURLOPT_DNS_SERVER"
In reply to: Dan Fandrich via curl-users: "Re: PHP CURLOPT_DNS_SERVER"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]