[] (0) Make it clear that if either side of the connection drops the …

…connection, the UA is to consider it closed.

git-svn-id: http://svn.whatwg.org/webapps@3753 340c8d12-0b0e-0410-8428-c7bf67bfef74

source

@@ -72746,6 +72746,15 @@ Proxy-authorization: Basic ZWRuYW1vZGU6bm9jYXBlcyE=</pre>
   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>