- From: poot <cvsmail@w3.org>
- Date: Thu, 2 Apr 2009 13:15:21 +0900 (JST)
- To: public-html-diffs@w3.org
Support quotes around URLs in the Refresh pragma's value. (credit: sp) (bug 6464) (whatwg r2949) http://www.w3.org/Bugs/Public/show_bug.cgi?id=6464 Refresh state http://people.w3.org/mike/diffs/html5/spec/Overview.1.2112.html#attr-meta-http-equiv-refresh http://people.w3.org/mike/diffs/html5/spec/Overview.diff.html http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.2111&r2=1.2112&f=h http://html5.org/tools/web-apps-tracker?from=2948&to=2949 =================================================================== RCS file: /sources/public/html5/spec/Overview.html,v retrieving revision 1.2111 retrieving revision 1.2112 diff -u -d -r1.2111 -r1.2112 --- Overview.html 1 Apr 2009 01:18:42 -0000 1.2111 +++ Overview.html 1 Apr 2009 01:21:44 -0000 1.2112 @@ -9347,9 +9347,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>
Received on Thursday, 2 April 2009 04:15:57 UTC