jsr369-experts@servlet-spec.java.net

[jsr369-experts] Re: [servlet-spec users] Renaming HttpServletRequest#getPushBuilder to #newPushBuilder.

From: Martin Mulholland <mmulholl_at_us.ibm.com>
Date: Fri, 24 Mar 2017 08:11:48 -0500

+1

Thank you,
Martin Mulholland.
WebSphere Application Server Web Tier Architect
email: mmulholl_at_us.ibm.com


Shing Wai Chan <shing.wai.chan_at_oracle.com> wrote on 03/23/2017 06:16:58
PM:

> From: Shing Wai Chan <shing.wai.chan_at_oracle.com>
> To: jsr369-experts_at_servlet-spec.java.net
> Date: 03/23/2017 06:17 PM
> Subject: [servlet-spec users] [jsr369-experts] Renaming
> HttpServletRequest#getPushBuilder to #newPushBuilder.
>
> 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