[html5] r3753 - [] (0) Make it clear that if either side of the connection drops the connection, [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2009-09-04 02:38:33 -0700 (Fri, 04 Sep 2009)
New Revision: 3753

Modified:
   source
Log:
[] (0) Make it clear that if either side of the connection drops the connection, the UA is to consider it closed.

Modified: source
===================================================================
--- source	2009-09-04 09:20:43 UTC (rev 3752)
+++ source	2009-09-04 09:38:33 UTC (rev 3753)
@@ -72746,6 +72746,15 @@
   connection, it is said that the <dfn>Web Socket connection is
   closed</dfn>.</p>
 
+  <p>When a user agent is to <span>close the Web Socket
+  connection</span>, it must drop all subsequent data from the server
+  and must act as if the server had immediately closed its side of the
+  connection.</p>
+
+  <p>When a user agent notices that the <span>Web Socket connection is
+  closed</span>, it must immediately close its side of the
+  connection.</p>
+
   <p>Servers may <span>close the Web Socket connection</span> whenever
   desired.</p>