[html5] r5559 - [giow] (0) disallow trailing garbage in timestamps Fixing http://www.w3.org/Bugs [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2010-09-29 11:51:38 -0700 (Wed, 29 Sep 2010)
New Revision: 5559

Modified:
   complete.html
   index
   source
Log:
[giow] (0) disallow trailing garbage in timestamps
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=10770

Modified: complete.html
===================================================================
--- complete.html	2010-09-29 18:49:49 UTC (rev 5558)
+++ complete.html	2010-09-29 18:51:38 UTC (rev 5559)
@@ -29579,9 +29579,10 @@
 
          <li>
 
-          <p>If that algorithm does not fail, then create a
-          <a href=#websrt-timestamp-object>WebSRT Timestamp Object</a> whose value is the
-          collected time, then append it to <var title="">current</var>.</p>
+          <p>If that algorithm does not fail, and if <var title="">position</var> now points at the end of <var title="">input</var> (i.e. there are no trailing characters
+          after the timestamp), then create a <a href=#websrt-timestamp-object>WebSRT Timestamp
+          Object</a> whose value is the collected time, then append
+          it to <var title="">current</var>.</p>
 
           <p>Otherwise, ignore the token.</p>
 

Modified: index
===================================================================
--- index	2010-09-29 18:49:49 UTC (rev 5558)
+++ index	2010-09-29 18:51:38 UTC (rev 5559)
@@ -29559,9 +29559,10 @@
 
          <li>
 
-          <p>If that algorithm does not fail, then create a
-          <a href=#websrt-timestamp-object>WebSRT Timestamp Object</a> whose value is the
-          collected time, then append it to <var title="">current</var>.</p>
+          <p>If that algorithm does not fail, and if <var title="">position</var> now points at the end of <var title="">input</var> (i.e. there are no trailing characters
+          after the timestamp), then create a <a href=#websrt-timestamp-object>WebSRT Timestamp
+          Object</a> whose value is the collected time, then append
+          it to <var title="">current</var>.</p>
 
           <p>Otherwise, ignore the token.</p>
 

Modified: source
===================================================================
--- source	2010-09-29 18:49:49 UTC (rev 5558)
+++ source	2010-09-29 18:51:38 UTC (rev 5559)
@@ -32335,10 +32335,12 @@
 
          <li>
 
-          <p>If that algorithm does not fail, then create a
-          <span>WebSRT Timestamp Object</span> whose value is the
-          collected time, then append it to <var
-          title="">current</var>.</p>
+          <p>If that algorithm does not fail, and if <var
+          title="">position</var> now points at the end of <var
+          title="">input</var> (i.e. there are no trailing characters
+          after the timestamp), then create a <span>WebSRT Timestamp
+          Object</span> whose value is the collected time, then append
+          it to <var title="">current</var>.</p>
 
           <p>Otherwise, ignore the token.</p>