[PATCH] Close issue #851

268 views
Skip to first unread message

Oleksandr Shybystyi

unread,
Jun 19, 2012, 11:33:15 AM6/19/12
to dactyl-...@googlegroups.com
# HG changeset patch
# User Oleksandr Shybystyi <oleksandr...@gmail.com>
# Date 1340119632 -10800
# Node ID 735bf233e45348a07714e3857dbcd174dfbf29d3
# Parent  2fb8674066b9455477535a434bd45a97ccf1a54a
Closes issue #851

diff -r 2fb8674066b9 -r 735bf233e453 common/bootstrap.js
--- a/common/bootstrap.js    Sat Jun 16 19:20:00 2012 -0400
+++ b/common/bootstrap.js    Tue Jun 19 18:27:12 2012 +0300
@@ -121,7 +121,11 @@
 
         for each (let url in urls)
             try {
-                var uri = resourceProto.resolveURI(Services.io.newURI(url, null, null));
+                var nsiuri = Services.io.newURI(url, null, null);
+                if (nsiuri.scheme == 'resource')
+                    var uri = resourceProto.resolveURI(nsiuri);
+                else
+                    var uri = url
                 if (uri in this.globals)
                     return this.modules[name] = this.globals[uri];

Well, this solution is not very "bright", but it is only one I've been able to come up with.

issue-851.patch
Reply all
Reply to author
Forward
0 new messages