Re: END_STREAM on PUSH_PROMISE

Ok, making a note of that... we might need to make that explicitly
clear at some point.

On Wed, Jun 19, 2013 at 3:35 PM, Martin Thomson
<martin.thomson@gmail.com> wrote:
> On 19 June 2013 14:32, James M Snell <jasnell@gmail.com> wrote:
>> 2. We send a HEADERS, a PUSH_PROMISE, and an empty DATA with length 0
>> and END_STREAM set.
>
> This one is enough for those cases.

Received on Wednesday, 19 June 2013 22:40:32 UTC