[hunchentoot-devel] New release 0.14.2 (Was: 'Host', ports and redirect.)

[Edi Weitz]

On Tue, 25 Sep 2007 23:07:47 -0600, "Vladimir Sedach" <vsedach at 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.