Now I have applied Daniels patch to always recompile on reload. The situation is now:
- Resources from public folders are still missing so I need to copy them manually - the generated app.nocache.js file of DevMode -superDevMode correctly sets all permutation properties so the first compile works now - recompiles on page reload work well The only other thing I noticed is that the RemoteServiceServlet always uses localhost to fetch GWT-RPC policy files. However we sometimes need to access our app via IP (e.g. access local dev environment from IE browser in a VM). If we do so, the code server must also run on that IP because the new app.nocache.js file constructs the recompile URL based on the current hostname of Window.Location. However that means we must override RemoteServiceServlet.getCodeServerPolicyUrl(). While doing so I noticed that the variable RemoteServiceServlet.codeServerPort is private. I think we should make it protected or add a protected getter to access it so it can be used in RemoteServiceServlet.getCodeServerPolicyUrl(). Alternatively we could introduce gwt.codeserver.ip system property instead and fallback to localhost if it is not specified. So I would propose the following changes: - Make sure ALL public resources (files + directories) are copied to war output directory once DevMode -superDevMode has been started - instead of hard coding localhost in RemoteServiceServlet.getCodeServerPolicyUrl() we should introduce gwt.codeserver.ip system property and fallback to localhost if it is not specified. Alternatively make codeServerPort accessible in sub classes of RemoteServiceServlet. However I would prefer a new system property because thats what I would have implemented anyway if I would need to override the method. -- J. -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/aa6d5a8b-4007-43f1-be34-fd3ba9937932%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
