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.

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

bandwidth-file: Add HeaderLine non-terminal #80

Closed
wants to merge 2 commits into from
Closed

bandwidth-file: Add HeaderLine non-terminal #80

wants to merge 2 commits into from

Conversation

Reviewers

@nmathewson nmathewson

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
3 participants
@juga0 @teor2345 @nmathewson
@juga0
Copy link
Contributor

@juga0 juga0 commented May 6, 2019

To make more clear that header lines do not contain spaces and simplify
parsers.
This does not change the format.

Closes: #30311
@juga0
bandwidth-file: Add HeaderLine non-terminal
f647743 
To make more clear that header lines do not contain spaces and simplify
parsers.
This does not change the format.

Closes: #30311
nmathewson
nmathewson reviewed May 6, 2019
View changes
bandwidth-file-spec.txt Outdated
@@ -141,6 +142,14 @@

2.2. Header List format

It consists of a Timestamp line and zero or more HeaderLines.

All the header lines MUST conform HeaderLine format, except the first
Copy link
Contributor

@nmathewson nmathewson May 6, 2019

Grammar note: should be "MUST conform to the HeaderLine format".

@juga0
fixup! bandwidth-file: Add HeaderLine non-terminal
28411f3
@teor2345
Copy link
Contributor

@teor2345 teor2345 commented Jan 28, 2020

We closed trac 30311.

@teor2345 teor2345 closed this Jan 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment