On Fri, Jan 14, 2022 at 11:32 PM Mark Thomas <[email protected]> wrote: > > On 13/01/2022 13:44, Christopher Schultz wrote: > > > The proposed 8.5.74 release is: > > [X] Broken - do not release > > [ ] Stable - go ahead and release as 8.5.73 (stable) > > I have discovered HTTP/2 server push was broken. > > This is minor for 8.5.x since server push isn't available via the > Servlet API. You have to cast a request to the Tomcat facade and then > use Tomcat's ApplicationPushBUilder.
I doubt this is actually used with 8.5, the early adopters will have moved to 9 by now. Also push is actually not seen very favorably anymore from what I understand. So I'm unsure about that. Rémy > > An argument could be made for releasing anyway with this bug but I'm > leaning towards a new tag. > > Mark > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
