Thanks for responding and clarifying this! Unfortunately, we are using some library which obviously tries to set an outdated value and so I now end up in: ... [INFO] --- gwt-maven-plugin:2.10.0:compile (default) @ zhquest-web --- [INFO] Loading inherited module 'ch.zh.ksta.zhquest.ZHQuestWebDevelopment' [INFO] Loading inherited module 'ch.zh.ksta.zhquest.ZHQuestWeb' [INFO] Loading inherited module 'com.sencha.gxt.ui.GXT' [INFO] Loading inherited module 'com.sencha.gxt.data.Data' [INFO] Loading inherited module 'com.sencha.gxt.core.Core' [INFO] [ERROR] Line 108: Value 'ie8' in not a valid value for property 'user.agent'
:-( Too many libraries in use here... On Monday, June 27, 2022 at 4:58:25 PM UTC+2 Jens wrote: > So - according to the release notes which mention “FF”, “Chrome”, “IE” >> (for IE11), “Edge”, and “Safari” as new user.agent values I changed that >> to "Chrome, Edge". >> > > Not these values are for running HTMLUnit, not for GWT compiler. > > > Thus my question: what *are* the new valid user.agent values? Do they have >> to be in all-lowercase (as the old ones) or what exactly can or does one >> have to enter here? >> > > GWT 2.10.0 user.agent values are > > - gecko1_8: Used for FireFox and IE 11 > - safari: Used for everything based on WebKit (Safari, Chrome, Edge, > Opera, ...) > > > > -- J. > -- You received this message because you are subscribed to the Google Groups "GWT Users" 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/c1a46cb7-c0ac-48a7-bae5-339f74c1b816n%40googlegroups.com.
