Thanks for the reply.
How about differentiating between a network hiccup and a hot deployment, on the client?
Handling hot deploys is always a tricky issue. A solution that I find works best is to simply show a message to the user that the application needs to reload, and then force a redirect to the main page which will download the new Javascript. Google groups is using a similar soluition. If you leave your browser open for the night and come back you'll get a small message that it needs to reload.
--
You received this message because you are subscribed to a topic in the Google Groups "GWTP" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/gwt-platform/3ipBcv16KtI/unsubscribe?hl=en-US.
To unsubscribe from this group and all its topics, send an email to gwt-platform...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.