From d32c4e48639d837f2e5a6cc92570bdc6f44d65ed Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 10 Feb 2011 09:54:22 +0100
Subject: [PATCH] console.log is not always available

---
 lib/ace/worker/worker_client.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/ace/worker/worker_client.js b/lib/ace/worker/worker_client.js
index 62c918e3..566498b5 100644
--- a/lib/ace/worker/worker_client.js
+++ b/lib/ace/worker/worker_client.js
@@ -49,7 +49,7 @@ var WorkerClient = function(topLevelNamespaces, packagedJs, module, classname) {
         var msg = e.data;
         switch(msg.type) {
             case "log":
-                console.log(msg.data);
+                window.console && console.log && console.log(msg.data);
                 break;
 
             case "event":