MFH: Use user_agent ini setting if it's available.

diff --git a/ext/curl/curlstreams.c b/ext/curl/curlstreams.c
index 97b9d20d0a24aeff7fa7a6b69d5d5386e47911a1..a6c682c4ece42d0437baf85acf67dd08efb6995f 100644 (file)
--- a/ext/curl/curlstreams.c
+++ b/ext/curl/curlstreams.c
@@ -307,7 +307,7 @@ PHPAPI php_stream *php_curl_stream_opener(php_stream_wrapper *wrapper, char *fil
        curl_easy_setopt(curlstream->curl, CURLOPT_PROGRESSDATA, stream);
        curl_easy_setopt(curlstream->curl, CURLOPT_NOPROGRESS, 0);
 
-       curl_easy_setopt(curlstream->curl, CURLOPT_USERAGENT, "PHP/" PHP_VERSION);
+       curl_easy_setopt(curlstream->curl, CURLOPT_USERAGENT, FG(user_agent) ? FG(user_agent) : "PHP/" PHP_VERSION);
        
        /* TODO: read cookies and options from context */