tree 2f209ff5fbac6948fe07123fdba364f61046d293
parent 7348cba0400f19fc496664d2adbd1674638a25db
author scottb@google.com <scottb@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1233357443 +0000
committer scottb@google.com <scottb@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1233357443 +0000

Implements hot server reloading in GWT via a new Shell button.  Clicking the button restarts embedded Jetty with a new classloader, picking up any class file changes on disk for the restarted server.  This might be useful when changing the type declarations of serializable types during a hosted mode session, or testing how an app handles an incompatible remote service.

Also changes the window title for HostedMode from "Development Shell" to "Hosted Mode".

Review by: jat


git-svn-id: https://google-web-toolkit.googlecode.com/svn/releases/1.6@4597 8db76d5a-ed1c-0410-87a9-c151d255dfc7