W3C home > Mailing lists > Public > public-html-commits@w3.org > July 2008

html5/spec Overview.html,1.1029,1.1030

From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
Date: Thu, 03 Jul 2008 09:01:57 +0000
To: public-html-commits@w3.org
Message-Id: <E1KEKhR-0005eY-6P@lionel-hutz.w3.org>

Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv21675

Modified Files:
	Overview.html 
Log Message:
xref typos (whatwg r1841)

Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.1029
retrieving revision 1.1030
diff -u -d -r1.1029 -r1.1030
--- Overview.html	3 Jul 2008 08:36:43 -0000	1.1029
+++ Overview.html	3 Jul 2008 09:01:54 -0000	1.1030
@@ -41453,8 +41453,8 @@
    title=dom-WebSocket-disconnect><code>disconnect()</code></dfn> method must
    <a href="#close1">close the Web Socket connection</a> or connection
    attempt, if any. If the connection is already closed, it must do nothing.
-   Closing the connection causes a <code
-   title=event-connection-close>close</code> event to be fired and the <code
+   Closing the connection causes a <code title=event-WebSocket-close><a
+   href="#close0">close</a></code> event to be fired and the <code
    title=dom-WebSocket-readyState><a
    href="#readystate1">readyState</a></code> attribute's value to change, as
    <a href="#closeWebSocket">described below</a>.
@@ -41513,9 +41513,9 @@
    <code><a href="#websocket0">WebSocket</a></code> object being created
    &mdash; and thus the connection being established &mdash; and the current
    script completing; or, during the execution of a <code
-   title=event-connection-read>read</code> event handler) must be buffered,
-   and those events queued up and each one individually fired after the
-   script has completed.</p>
+   title=event-WebSocket-read><a href="#read">read</a></code> event handler)
+   must be buffered, and those events queued up and each one individually
+   fired after the script has completed.</p>
   <!-- XXX make this more generic
   -->
 
Received on Thursday, 3 July 2008 09:02:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 9 October 2008 20:32:58 GMT