diff options
| author | Matti Tahvonen <matti@vaadin.com> | 2016-08-22 18:30:59 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2016-08-30 12:24:25 +0000 |
| commit | ecb44ce040a8ea31793fc41074592726deacf291 (patch) | |
| tree | b001c924a3063a9b1e592b395a74ab4e20217dd5 | |
| parent | e65a1d80f11c4b98e0fb92aa25c1db9f4bd5ff0a (diff) | |
| download | vaadin-framework-ecb44ce040a8ea31793fc41074592726deacf291.tar.gz vaadin-framework-ecb44ce040a8ea31793fc41074592726deacf291.zip | |
Added a fallback value for useragent (#20172)
Without this change, some browsers, like GoogleBot, don't properly render the page.
Instead of weird JS exception (and hit to server with 404) we should at least try
to render the app with all browser. As webikit/chromium based browsers are
nowadays most popular, falling back to "safari" permutation.
Change-Id: I4275110962432b2552d51715a86a8e815fe539ad
| -rw-r--r-- | client/src/main/resources/com/vaadin/Vaadin.gwt.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/client/src/main/resources/com/vaadin/Vaadin.gwt.xml b/client/src/main/resources/com/vaadin/Vaadin.gwt.xml index 739225e594..20951561b7 100644 --- a/client/src/main/resources/com/vaadin/Vaadin.gwt.xml +++ b/client/src/main/resources/com/vaadin/Vaadin.gwt.xml @@ -57,6 +57,9 @@ <when-property-is name="user.agent" value="gecko1_8" /> </none> </set-property> + + <!-- If no proper user agent is found, at least try some, e.g. with crawlers --> + <set-property-fallback name="user.agent" value="safari" /> <!-- Fall through to this rule when the browser doesn't support pointer event --> |