- From: CVS User ihickson <cvsmail@w3.org>
- Date: Wed, 10 Apr 2013 23:10:10 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/websockets
In directory roscoe:/tmp/cvs-serv11908
Modified Files:
Overview.html
Log Message:
Be more explicit about aborting steps when throwing an exception. (whatwg r7804)
--- /sources/public/html5/websockets/Overview.html 2013/04/09 18:18:36 1.295
+++ /sources/public/html5/websockets/Overview.html 2013/04/10 23:10:10 1.296
@@ -216,7 +216,7 @@
<h1>The WebSocket API</h1>
- <h2 class="no-num no-toc" id="editor-s-draft-9-april-2013">Editor's Draft 9 April 2013</h2>
+ <h2 class="no-num no-toc" id="editor-s-draft-10-april-2013">Editor's Draft 10 April 2013</h2>
<dl><dt>Latest Published Version:</dt>
<dd><a href="http://www.w3.org/TR/websockets/">http://www.w3.org/TR/websockets/</a></dd>
<dt>Latest Editor's Draft:</dt>
@@ -350,7 +350,7 @@
</dl><p>The W3C <a href="http://www.w3.org/2008/webapps/">Web Applications
Working Group</a> is the W3C working group responsible for this
specification's progress along the W3C Recommendation track.
- This specification is the 9 April 2013 Editor's Draft.
+ This specification is the 10 April 2013 Editor's Draft.
</p>
@@ -551,13 +551,13 @@
<li><p>If <var title="">secure</var> is false but the <span>origin</span> of the <span>entry
script</span> has a scheme component that is itself a secure protocol, e.g. HTTPS, then throw a
- <code>SecurityError</code> exception.</li>
+ <code>SecurityError</code> exception and abort these steps.</li>
<li>
<p>If <var title="">port</var> is a port to which the user agent is configured to block access,
- then throw a <code>SecurityError</code> exception. (User agents typically block access to
- well-known ports like SMTP.)</p>
+ then throw a <code>SecurityError</code> exception and abort these steps. (User agents typically
+ block access to well-known ports like SMTP.)</p>
<p>Access to ports 80 and 443 should not be blocked, including the unlikely cases when <var title="">secure</var> is false but <var title="">port</var> is 443 or <var title="">secure</var>
Received on Wednesday, 10 April 2013 23:10:11 UTC