recognize CURLOPT_PORT

diff --git a/ext/curl/interface.c b/ext/curl/interface.c
index 7ef0596e5952f75c467dfe8ccd16f31c118180e0..aa5a4b5f877c0b82bb2881a89c00c6ac069db5ea 100644 (file)
--- a/ext/curl/interface.c
+++ b/ext/curl/interface.c
@@ -773,6 +773,7 @@ PHP_FUNCTION(curl_setopt)
                case CURLOPT_HTTPGET:
                case CURLOPT_HTTP_VERSION:
                case CURLOPT_CRLF:
+               case CURLOPT_PORT:
                        convert_to_long_ex(zvalue);
                        error = curl_easy_setopt(ch->cp, option, Z_LVAL_PP(zvalue));
                        break;