We had the pleasure of discussing HTTP/2 push with Simone Bordet yesterday. He suggested that we rename HttpServletRequest#getPushBuilder() to HttpServletRequest#newPushBuilder().
This is a good idea as we have the following in javadoc of PushBuilder:
A PushBuilder is obtained by calling HttpServletRequest.getPushBuilder(). Each call to this method will return a new instance of a PushBuilder based off the current HttpServletRequest. Any mutations to the returned PushBuilder are not reflected on future returns.
What do you think?
Please respond by close of business Tuseday 28 March.
In the absence of feedback, we'll just go with this proposal.
Shing Wai Chan