Как я могу изменить тайм-аут php curl, когда curl пытается разрешить хост (curl err_no 6)

я выполняю запрос curl для Я установил CURLOPT_TIMEOUT (до 6 секунд) и CURLOPT_CONNECTTIMEOUT (до 4 секунд) - и оба отлично работают для большинства URL-адресов.

Однако, когда веб-страница не отвечает (и, наконец, вызывает CURL для через 'Не удалось устранить ошибку хоста (err_no 6)) - похоже, что «CURLOPT_TIMEOUT» не действует, и curl будет ждать, возможно, неопределенно долго или пока не истечет некоторый «другой» тайм-аут.

С URL-адресом, к которому я пытаюсь получить доступ, CURL всегда кажется, что он возвращается примерно через 15 секунд (что не имеет ничего общего с 'CURLOPT_TIMEOUT' или 'CURLOPT_CONNECTTIMEOUT'.

Кто-нибудь может сказать мне, как я могу ограничить количество времени, которое CURL тратит на попытки решить хост?