Use window.console instead of just console in vaadinPush to appease IE (#11980)

Change-Id: I6f363e9afc550d70eb451005dcfdfb53e5533273

diff --git a/WebContent/VAADIN/vaadinPush.js.tpl b/WebContent/VAADIN/vaadinPush.js.tpl
index 3928fba1b6ae5297da4e84ae678491b44d981d46..43dfd18b4068b1dd04a71a4ada936fc6af29d024 100644 (file)
--- a/WebContent/VAADIN/vaadinPush.js.tpl
+++ b/WebContent/VAADIN/vaadinPush.js.tpl
@@ -3,6 +3,6 @@ window.jQueryVaadin = window.jQuery.noConflict(true);
 (function(jQuery, undefined) {
        @jquery.atmosphere.js@
 })(jQueryVaadin);
-if (console) {
-       console.log("Vaadin push loaded");
-}
\ No newline at end of file
+if (window.console) {
+       window.console.log("Vaadin push loaded");
+}