- From: <bugzilla@jessica.w3.org>
- Date: Wed, 05 Jan 2011 09:41:29 +0000
- To: public-webapps@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=11669
Summary: Section: "Parsing an event stream" It looks like their
is a mistake in this ABNF description, "end-of-line"
is repeated: stream = [ bom ] *event event
= *( comment / field ) end-of-line comment =
colon *any-char end-of-line field
Product: WebAppsWG
Version: unspecified
Platform: Other
URL: http://www.whatwg.org/specs/web-apps/current-work/#top
OS/Version: other
Status: NEW
Severity: normal
Priority: P3
Component: Server-Sent Events (editor: Ian Hickson)
AssignedTo: ian@hixie.ch
ReportedBy: contributor@whatwg.org
QAContact: member-webapi-cvs@w3.org
CC: mike@w3.org, public-webapps@w3.org
Specification: http://dev.w3.org/html5/eventsource/
Section: http://www.whatwg.org/specs/web-apps/current-work/complete.html#top
Comment:
Section: "Parsing an event stream"
It looks like their is a mistake in this ABNF description, "end-of-line" is
repeated:
stream = [ bom ] *event
event = *( comment / field ) end-of-line
comment = colon *any-char end-of-line
field = 1*name-char [ colon [ space ] *any-char ] end-of-line
end-of-line = ( cr lf / cr / lf / eof )
eof = < matches repeatedly at the end of the stream >
If "end-of-line" is set at the end of the "event" description, it shouldn't be
repeated at the end of the "comment" and "field" descriptions.
"eof" could be proposed as an alternative of "end-of-line" instead of being
part of the "end-of-line" description
Update proposal:
stream = [ bom ] *event
event = *( comment / field ) (end-of-line / eof)
comment = colon *any-char
field = 1*name-char [ colon [ space ] *any-char ]
end-of-line = ( cr lf / cr / lf )
eof = < matches repeatedly at the end of the stream >
Posted from: 81.57.192.30
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Wednesday, 5 January 2011 09:44:41 UTC