Reviewers: mmendez, jat, Description: Fixes a problem where the DevMode server was hanging when the remote UI was shut down in an unclean fashion. We now set a keepalive on the Remote UI socket, and when an exception occurs, a callback (passed in to the MessageTransport constructor) is invoked which causes the DevMode server to terminate.
Also fixed a bug in BrowserListener where the setReuseAddress option was being set on the wrong socket. Please review this at http://gwt-code-reviews.appspot.com/100801 Affected files: M dev/core/src/com/google/gwt/dev/shell/BrowserListener.java M dev/core/src/com/google/gwt/dev/shell/remoteui/MessageTransport.java M dev/core/src/com/google/gwt/dev/shell/remoteui/RemoteUI.java --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
