Patch fix_curlopt_noproxy_type for cURL related Bug #71831

Patch version 2016-03-15 19:16 UTC

• 2016-03-15 19:16 UTC [diff to current]

Developer: michael.sierks@priceline.com

diff --git a/ext/curl/interface.c b/ext/curl/interface.c
index 58e1814..ca899af 100644
--- a/ext/curl/interface.c
+++ b/ext/curl/interface.c
@@ -2144,7 +2144,6 @@ static int _php_curl_setopt(php_curl *ch, zend_long option, zval *zvalue) /* {{{
 		case CURLOPT_CERTINFO:
 #endif
 #if LIBCURL_VERSION_NUM >= 0x071304 /* Available since 7.19.4 */
-		case CURLOPT_NOPROXY:
 		case CURLOPT_PROTOCOLS:
 		case CURLOPT_REDIR_PROTOCOLS:
 		case CURLOPT_SOCKS5_GSSAPI_NEC:
@@ -2235,6 +2234,7 @@ static int _php_curl_setopt(php_curl *ch, zend_long option, zval *zvalue) /* {{{
 		case CURLOPT_USERNAME:
 #endif
 #if LIBCURL_VERSION_NUM >= 0x071304 /* Available since 7.19.4 */
+		case CURLOPT_NOPROXY:
 		case CURLOPT_SOCKS5_GSSAPI_SERVICE:
 #endif
 #if LIBCURL_VERSION_NUM >= 0x071400 /* Available since 7.20.0 */