Re: [PATCH] Fix bug #11469; treat port number when expanding URL

[Takafumi Arakaki]

Oops, I put the wrong bug number in the mail title.

Also, I should have explained clearly.  This is the bug solved by the
patch I sent:

Consider the following code::

    (url-expand-file-name "/path" "http://127.0.0.1:9999";)

Previously it returned "http://127.0.0.1/path";, which does not contain
the right port number.  Now it returns "http://127.0.0.1:9999/path";.

--
Takafumi


On Thu, Dec 20, 2012 at 9:16 PM, Takafumi Arakaki <address@hidden> wrote:
> Hi,
>
> This is a patch to fix #12374
> 24.1.50; Incorrect redirect in url-retrieve when URL contains port number
> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12374
>
> Best,
> Takafumi