[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix bug #11469; treat port number when expanding URL
From: |
Takafumi Arakaki |
Subject: |
Re: [PATCH] Fix bug #11469; treat port number when expanding URL |
Date: |
Fri, 21 Dec 2012 18:20:00 +0100 |
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