From c14f5e9b5453fd49edc068a25e081646db58648f Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 11 Aug 2011 14:08:12 +0200
Subject: [PATCH] another worker loader 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 7d8034b7..947ae2e7 100644
--- a/lib/ace/worker/worker_client.js
+++ b/lib/ace/worker/worker_client.js
@@ -104,7 +104,7 @@ var WorkerClient = function(topLevelNamespaces, packagedJs, module, classname) {
 
     this.$normalizePath = function(path) {
         if (!path.match(/^\w+:/))
-            path = location.protocol + "//" + location.host + location.pathname.replace(/\/.*?$/, "/") + "/" + path;
+            path = location.protocol + "//" + location.host + location.pathname.replace(/\/.*?$/, "/") + "/" + path.replace(/^\//, "");
         return path;
     };