Thomas, I have explained this many times already. Teams in the enterprise I work and probably many other teams worldwide are using DevMode with "GWT Eclipse Plugin" or other similar practices during development for a single click experience.
You seem to be suggesting that we should all abandon such practices and start running separate CodeServer instances and servlet container instances during development which will reduce productivity. If you remove support for DevMode you will damage the projects that rely on it. Regarding the workaround, it can keep working unless you remove DevMode support. Also, if I ever reach a dead end one day it would be because of a GWT structural change which would be unexpected. If you are still believe I am wasting time then I am sorry but you are forcing me to say that you are being one-sided. On Sunday, 18 April 2021 at 18:35:11 UTC+1 t.br...@gmail.com wrote: > On Sun, Apr 18, 2021 at 6:29 PM eliasb...@gmail.com <eliasb...@gmail.com> > wrote: > >> Perhaps I have indeed misunderstood parts of what you are trying to >> describe. >> >> Hand waving or not, my main objection remains, DevMode embedded Jetty >> support must be preserved. >> > > Yet, you still haven't made the case for *why* it *must* be preserved. > And until then, all you've achieved is waste everyone's time. > > I have submitted a workaround to the chain at >> https://github.com/gwtproject/gwt/issues/9720 >> > > Glad you found a workaround; but that's just delaying the inevitable. One > day or another you'll probably have to change the way you run your project. > > -- > Thomas Broyer > /tɔ.ma.bʁwa.je/ <http://xn--nna.ma.xn--bwa-xxb.je/> > -- 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 google-web-toolkit-contributors+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/aa8830b3-d6d3-4e5d-adc0-fdb61c2bb293n%40googlegroups.com.
