http://gwt-code-reviews.appspot.com/646803/diff/1/15 File user/src/com/google/gwt/dom/client/WebSocket.java (right):
http://gwt-code-reviews.appspot.com/646803/diff/1/15#newcode48 user/src/com/google/gwt/dom/client/WebSocket.java:48: }; Is it really necessary to remove all the listeners once the connection is closed. I think the WebSocket specs says that a connection cannot be revived (reopened) - so, I think, that setting rawWebSocket to null (that is the underlying js object) when the connection is closed would let the GC collect that object with all the callbacks associates with it? Is that right? http://gwt-code-reviews.appspot.com/646803/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
