- From: <bugzilla@jessica.w3.org>
- Date: Fri, 14 Oct 2011 22:34:45 +0000
- To: public-webapps@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=14331
Ian 'Hixie' Hickson <ian@hixie.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #8 from Ian 'Hixie' Hickson <ian@hixie.ch> 2011-10-14 22:34:44 UTC ---
Note that WebSocket.close() doesn't do this either. Changing that would
contradict the protocol spec: WebSockets is explicitly designed to allow you to
close the connection before you've finished receiving everything you're going
to get; there's a clearly defined end handshake.
I've fixed this for EventSource though.
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Friday, 14 October 2011 22:34:51 UTC