From fdce161412c89585810c424bad438c953f57d6ae Mon Sep 17 00:00:00 2001
From: Christoph Dorn <christoph@christophdorn.com>
Date: Mon, 5 Mar 2012 15:54:19 -0800
Subject: [PATCH] sourcemint loader detection fix

---
 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 2e0bd826..82800e10 100644
--- a/lib/ace/worker/worker_client.js
+++ b/lib/ace/worker/worker_client.js
@@ -51,7 +51,7 @@ var WorkerClient = function(topLevelNamespaces, packagedJs, mod, classname) {
     }
     else {
         var workerUrl;
-        if (require.supports.indexOf("ucjs2-pinf-0") >= 0) {
+        if (typeof require.supports !== "undefined" && require.supports.indexOf("ucjs2-pinf-0") >= 0) {
             // We are running in the sourcemint loader.
             workerUrl = require.nameToUrl("ace/worker/worker_sourcemint");
         } else {