Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rework flow of Push ID #3925

Merged
merged 8 commits into from Aug 11, 2020
Merged

Rework flow of Push ID #3925

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
0764b9d
Rework flow of Push ID
MikeBishop Jul 21, 2020
836b5bb
Feedback from Bence/Lucas
MikeBishop Jul 21, 2020
b85e25d
Apply suggestions from code review
MikeBishop Jul 22, 2020
5542b52
Update draft-ietf-quic-http.md
MikeBishop Jul 22, 2020
a248e98
Not additional
MikeBishop Jul 28, 2020
f1528a3
Update draft-ietf-quic-http.md
MikeBishop Aug 11, 2020
a093f3e
Merge remote-tracking branch 'origin/master' into http/push_flow
MikeBishop Aug 11, 2020
6d90ab7
Rewrap
MikeBishop Aug 11, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 1 addition & 1 deletion draft-ietf-quic-http.md
View file
Open in desktop
Expand Up @@ -816,7 +816,7 @@ the request stream which generated the push. This allows the server push to be
associated with a client request. When the same Push ID is promised on multiple
request streams, the decompressed request field sections MUST contain the same
fields in the same order, and both the name and the value in each field MUST be
exact matches.
identical.

The Push ID is then included with the push stream that ultimately fulfills
those promises; see {{push-streams}}. The push stream identifies the Push ID of
Expand Down