[html5] r4643 - [t] (0) Explicitly say that servers should stop serving if the client disconnects.

[whatwg at whatwg.org]

Author: ianh
Date: 2010-02-01 19:10:54 -0800 (Mon, 01 Feb 2010)
New Revision: 4643

Modified:
   complete.html
   source
Log:
[t] (0) Explicitly say that servers should stop serving if the client disconnects.

Modified: complete.html
===================================================================
--- complete.html	2010-02-02 01:04:38 UTC (rev 4642)
+++ complete.html	2010-02-02 03:10:54 UTC (rev 4643)
@@ -68272,7 +68272,9 @@
   <h6 id=ws-sd-framing><span class=secno>10.3.4.4.3 </span>Data framing</h6>
 
   <p>The server must run through the following steps to process the
-  bytes sent by the client:</p>
+  bytes sent by the client.  If at any point during these steps a read
+  is attempted but fails because the <a href=#web-socket-connection-is-closed>Web Socket connection is
+  closed</a>, then abort.</p>
 
   <ol><li id=wd-sd-frame><p><i title="">Frame</i>: Read a byte from the
    client. Let <var title="">type</var> be that byte.</li>

Modified: source
===================================================================
--- source	2010-02-02 01:04:38 UTC (rev 4642)
+++ source	2010-02-02 03:10:54 UTC (rev 4643)
@@ -77934,7 +77934,9 @@
   <h6 id="ws-sd-framing">Data framing</h6>
 
   <p>The server must run through the following steps to process the
-  bytes sent by the client:</p>
+  bytes sent by the client.  If at any point during these steps a read
+  is attempted but fails because the <span>Web Socket connection is
+  closed</span>, then abort.</p>
 
   <ol>