END_STREAM on PUSH_PROMISE

Just going through things... in the current HEAD, we say that
PUSH_PROMISE can contain a END_PUSH_PROMISE for use with
continuations. No other flags are defined. Do we need END_STREAM on
PUSH_PROMISE?
There are two approaches if we want to send a stream that has no
actual DATA, but includes a HEADERS and a PUSH_PROMISE.
1. We send a HEADERS then a PUSH_PROMISE with END_STREAM set... or
2. We send a HEADERS, a PUSH_PROMISE, and an empty DATA with length 0
and END_STREAM set.
Either approach works, it just needs to be clear.

Received on Wednesday, 19 June 2013 21:32:56 UTC

AltStyle によって変換されたページ (->オリジナル) /