On Tue, 25 Sep 2007 23:07:47 -0600, "Vladimir Sedach" vsedach@gmail.com wrote:
The attached patch implements a new function on request objects, server-hostname, which returns just the hostname portion of the "Host" header value, and makes redirect use that.
Thanks for the patch. I understand that it makes sense to strip off the port part of the "Host" header value, but I also like the current behaviour of REDIRECT where you get the default hostname and port for free. I've now uploaded a version which I hope combines both variants in an acceptable way. Please try.
Cheers, Edi.