Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
[e] (0) Support quotes around URLs in the Refresh pragma's value. (cr…
…edit: sp) (bug 6464)

git-svn-id: http://svn.whatwg.org/webapps@2949 340c8d12-0b0e-0410-8428-c7bf67bfef74
  • Loading branch information
Hixie committed Apr 1, 2009
1 parent cfdba46 commit cbf1fe1
Show file tree
Hide file tree
Showing 2 changed files with 23 additions and 0 deletions.
10 changes: 10 additions & 0 deletions index
Expand Up @@ -10512,9 +10512,19 @@ people expect to have work and what is necessary.

<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>

Expand Down
13 changes: 13 additions & 0 deletions source
Expand Up @@ -11102,10 +11102,23 @@ people expect to have work and what is necessary.

<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>
Expand Down

0 comments on commit cbf1fe1

Please sign in to comment.