Re: Server Push request header fields from Martin Thomson on 2014-01-30 (ietf-http-wg@w3.org from January to March 2014)

From: Martin Thomson <martin.thomson@gmail.com>
Date: Thu, 30 Jan 2014 14:46:37 -0800
To: RUELLAN Herve <Herve.Ruellan@crf.canon.fr>
Cc: "ietf-http-wg@w3.org" <ietf-http-wg@w3.org>
Message-ID: <CABkgnnWma5vejJvxkUehYZ+Dek7gKqSoxiuGtuUpyr1tnrTH1g@mail.gmail.com>

On 30 January 2014 09:29, RUELLAN Herve <Herve.Ruellan@crf.canon.fr> wrote:
> In 10.4, they are defined as a combination of the request that triggered the push, plus resource identification information provided by the server.

That's a vestige of an earlier attempt to switch to what is described
in 8.2.1.  We already discussed making PUSH_PROMISE self-contained.
I've fixed 10.4.

Received on Thursday, 30 January 2014 22:47:04 UTC