|
php.net | support | documentation | report a bug | advanced search | search howto | statistics | random bug | login |
PatchesPull RequestsHistoryAllCommentsChangesGit/SVN commits
[2003-04-29 09:12 UTC] jellybob@php.net
|
|||||||||||||||||||||||||||
Copyright © 2001-2025 The PHP GroupAll rights reserved. |
Last updated: Thu Nov 06 17:00:01 2025 UTC |
I noticed that when giving WSDL the URL of a dynamically generated WSDL (such as Java's tomcat web services server), the server was returning a port number of 80 rather than 8080... I looked into and found out that the request sent to the server doesn't include the remote port... this fixed it: on line 191 of HTTP/Request.php, currently there is: ------------------------------------------------------ if (HTTP_REQUEST_HTTP_VER_1_1 == $this->_http) { $this->addHeader('Host', $this->_url->host); } ------------------------------------------------------ it SHOULD be: ------------------------------------------------------ if (HTTP_REQUEST_HTTP_VER_1_1 == $this->_http) { if ($this->_url->port) { $this->addHeader('Host', $this->_url->host . ":" . $this->_url->port); } else { $this->addHeader('Host', $this->_url->host); } } ------------------------------------------------------ -Warren