mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 08:28:54 +00:00
Removed the distinction between pushed and non-pushed channels; only non-pushed channels are released and recycled if they're not failed. Properly resetting HttpReceiverOverHTTP2. Signed-off-by: Simone Bordet <simone.bordet@gmail.com>