Does anyone have experience with hot swapping new GWT modules for existing ones? In some sense, it is just a matter of replacing the WAR, and hot swapping of
servlet providers is well understood, but does the same hold true for GWT applications?
In particular, since compiled GWT applications rely on hash-based MD5 JavaScript files, its not clear what happens if a server changes GWT modules while a user is connected. Does the user have to start over?