From ecb44ce040a8ea31793fc41074592726deacf291 Mon Sep 17 00:00:00 2001
From: Matti Tahvonen <matti@vaadin.com>
Date: Mon, 22 Aug 2016 18:30:59 +0300
Subject: 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
---
 client/src/main/resources/com/vaadin/Vaadin.gwt.xml | 3 +++
 1 file changed, 3 insertions(+)

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 -->
-- 
cgit v1.2.3