- From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 03 Jul 2008 09:01:57 +0000
- To: public-html-commits@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
— and thus the connection being established — 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 UTC