[html5] r2949 - [e] (0) Support quotes around URLs in the Refresh pragma's value. (credit: sp) ( [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2009-03-31 18:21:39 -0700 (Tue, 31 Mar 2009)
New Revision: 2949

Modified:
   index
   source
Log:
[e] (0) Support quotes around URLs in the Refresh pragma's value. (credit: sp) (bug 6464)

Modified: index
===================================================================
--- index	2009-04-01 01:13:07 UTC (rev 2948)
+++ index	2009-04-01 01:21:39 UTC (rev 2949)
@@ -10512,9 +10512,19 @@
 
      <li><p><a href=#skip-whitespace>Skip whitespace</a>.</li>
 
+     <li><p>If the character in <var title="">input</var> pointed to
+     by <var title="">position</var> is either a U+0027 APOSTROPHE
+     character (') U+0022 QUOTATION MARK character ("), then let <var title="">quote</var> be that character, and advance <var title="">position</var> to the next character. Otherwise, let
+     <var title="">quote</var> be the empty stirng.</li>
+
      <li><p>Let <var title="">url</var> be equal to the substring of
      <var title="">input</var> from the character at <var title="">position</var> to the end of the string.</li>
 
+     <li><p>If <var title="">quote</var> is not the empty string, and
+     there is a character in <var title="">url</var> equal to <var title="">quote</var>, then truncate <var title="">url</var> at
+     that character, so that it and all subsequent characters are
+     removed.</p>
+
      <li><p>Strip any trailing <a href=#space-character title="space character">space
      characters</a> from the end of <var title="">url</var>.</li>
 

Modified: source
===================================================================
--- source	2009-04-01 01:13:07 UTC (rev 2948)
+++ source	2009-04-01 01:21:39 UTC (rev 2949)
@@ -11102,10 +11102,23 @@
 
      <li><p><span>Skip whitespace</span>.</p></li>
 
+     <li><p>If the character in <var title="">input</var> pointed to
+     by <var title="">position</var> is either a U+0027 APOSTROPHE
+     character (') U+0022 QUOTATION MARK character ("), then let <var
+     title="">quote</var> be that character, and advance <var
+     title="">position</var> to the next character. Otherwise, let
+     <var title="">quote</var> be the empty stirng.</p></li>
+
      <li><p>Let <var title="">url</var> be equal to the substring of
      <var title="">input</var> from the character at <var
      title="">position</var> to the end of the string.</p></li>
 
+     <li><p>If <var title="">quote</var> is not the empty string, and
+     there is a character in <var title="">url</var> equal to <var
+     title="">quote</var>, then truncate <var title="">url</var> at
+     that character, so that it and all subsequent characters are
+     removed.</p>
+
      <li><p>Strip any trailing <span title="space character">space
      characters</span> from the end of <var
      title="">url</var>.</p></li>