From 666dbb5f6b80a83c01140159901754fa317a977e Mon Sep 17 00:00:00 2001
From: =?utf8?q?Johannes=20Dahlstr=C3=B6m?= <johannesd@vaadin.com>
Date: Tue, 4 Jun 2013 15:20:15 +0300
Subject: [PATCH] Use window.console instead of just console in vaadinPush to
 appease IE (#11980)

Change-Id: I6f363e9afc550d70eb451005dcfdfb53e5533273
---
 WebContent/VAADIN/vaadinPush.js.tpl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/WebContent/VAADIN/vaadinPush.js.tpl b/WebContent/VAADIN/vaadinPush.js.tpl
index 3928fba1b6..43dfd18b40 100644
--- 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");
+}
-- 
2.39.5