Details
-
Task
-
Status: Resolved
-
Minor
-
Resolution: Fixed
-
8.0.0-M6
-
None
Description
As reported by Tobias at dev@ [1] the API for getting the PushBuilder has changed in newer versions of Tomcat [2] so we have to update it from 8.5.12 to 8.5.15.
1. http://markmail.org/message/343x5puorov72dd6
2. https://github.com/javaee/servlet-spec/blob/3f352c6ece6ec74d485559f685be2e5598412a93/src/main/java/javax/servlet/http/HttpServletRequest.java#L398