W3C home > Mailing lists > Public > public-html-commits@w3.org > April 2009

html5/spec Overview.html,1.2111,1.2112

From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
Date: Wed, 01 Apr 2009 01:21:46 +0000
To: public-html-commits@w3.org
Message-Id: <E1Lop9H-0002qQ-2T@lionel-hutz.w3.org>
Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv10918

Modified Files:
Log Message:
Support quotes around URLs in the Refresh pragma's value. (credit: sp) (bug 6464) (whatwg r2949)

Index: Overview.html
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 Wednesday, 1 April 2009 01:21:58 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:09:21 UTC