mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-23 07:37:55 +00:00
For some historical reason, host and port were not mutable after the request was created. Since many other key parameters are mutable (e.g. the scheme) it makes sense to make host and port mutable too. Signed-off-by: Simone Bordet <simone.bordet@gmail.com>