RE: relative redirect problem using port mapping vip

[Nacho]

Hola Benoit:

> properly.  It
> takes the host name from the request header but takes the 
> port from the web
> server (from HttpRequestAdapter.getServerPort).  therefore creating a
> redirect url command with the right IP address but the wrong 
> port (in our
> case 8080 i.o. 80).  That seems to be a bug in the tomcat 
> code as it should


What version of tomcat are you testing ? I say that because i personally
corrected this bug ( was a bug in prior versions of tomcat 3.X before
3.2 Final i think). 

Saludos ,
Ignacio J. Ortega