Additional info:
I now remember this came up in the past with the introduction of Jetty
10 (I think, could be 9) and this could be resolved with
httpConfig.addCustomizer(new HostHeaderCustomizer)
This is still in my embedding code. I have tried both with and without
the customizer but the behavour is the same.
On 11-08-2023 13:34, Silvio Bierman via jetty-users wrote:
Hello all,
I have encountered what I think is a bug in Jetty 12 but I would like
to check here if that is actually true.
I use port forwarding to forward HTTP requests from port 443 to 8443.
Requests arrive at the default port without an explicit port number in
the URL so
request.getRequestURL().toString
does not show a port number. But
request.getHeader("Host")
returns the host name including the port number. This makes it
impossible to distinguish requests with explicit ports from requests
without these. Jetty 11 does not show this same behaviour.
Cheers,
Silvio
_______________________________________________
jetty-users mailing list
jetty-users@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/jetty-users
_______________________________________________
jetty-users mailing list
jetty-users@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/jetty-users
