HTML5 Tracker

Diff (omit for latest revision)
Filter

Short URL: http://html5.org/r/3753

SVNBugCommentTime (UTC)
3753Make it clear that if either side of the connection drops the connection, the UA is to consider it closed.2009-09-04 09:38
Index: source
===================================================================
--- source	(revision 3752)
+++ source	(revision 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>
 

|