mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 16:35:03 +00:00
For some reason, Request.getHeaders() returned HttpFields, but HttpRequest.getHeaders() returned HttpFields.Mutable, and it was obviously wrong. Fixed WebSocket code that was relying on this API error. Signed-off-by: Simone Bordet <simone.bordet@gmail.com>