I was trying to update our application from GWT 2.8.1 to the new GWT 2.10.0. The first compilation failed with the eror message that ie10 was not a legal user.agent value (we had indeed used that value, since it was the newest IE version available).
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". The subsequent compilation then succeeded but when starting up the application I get the error: [INFO] [ERROR] Line 21: Value 'Chrome' in not a valid value for property 'user.agent' [INFO] [ERROR] Line 21: Value 'Edge' in not a valid value for property 'user.agent' 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? -- 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/d3714e65-92f8-47f3-968a-892cb0baad01n%40googlegroups.com.
