diff options
-rw-r--r-- | server/src/com/vaadin/server/communication/PushHandler.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/server/src/com/vaadin/server/communication/PushHandler.java b/server/src/com/vaadin/server/communication/PushHandler.java index f3fb16461f..ea937d279e 100644 --- a/server/src/com/vaadin/server/communication/PushHandler.java +++ b/server/src/com/vaadin/server/communication/PushHandler.java @@ -387,9 +387,9 @@ public class PushHandler extends AtmosphereResourceEventListenerAdapter { if (ui == null) { getLogger() - .log(Level.SEVERE, + .log(Level.FINE, "Could not get UI. This should never happen," - + " except when reloading in Firefox -" + + " except when reloading in Firefox and Chrome -" + " see http://dev.vaadin.com/ticket/14251."); return; } else { |