- From: Martin Thomson <martin.thomson@gmail.com>
- Date: Thu, 18 Jul 2013 09:35:40 -0700
- To: Shigeki Ohtsu <ohtsu@iij.ad.jp>
- Cc: HTTP Working Group <ietf-http-wg@w3.org>
On 18 July 2013 01:32, Shigeki Ohtsu <ohtsu@iij.ad.jp> wrote: >> Eh, HEADERS in Reserved (remote) transitions to half closed (local) >> regardless of END_STREAM? That looks bit suspicious. > > > Yes, it can be an option that it is UNCHANGED to still remain in the > reserved(remote) > when HEADERS without END_STREAM is received. It should be that HEADERS + END_STREAM from reserved (remote) goes to closed. This covers the case where a push only includes headers (a push for a HEAD request might look like that).
Received on Thursday, 18 July 2013 16:36:07 UTC