From: Johannes Dahlström <johannesd@vaadin.com>
Date: Tue, 4 Jun 2013 12:20:15 +0000 (+0300)
Subject: Use window.console instead of just console in vaadinPush to appease IE (#11980)
X-Git-Tag: 7.1.0~88
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=666dbb5f6b80a83c01140159901754fa317a977e;p=vaadin-framework.git

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 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");
+}