Index: compiler/java/com/google/dart/compiler/SystemLibraryManager.java |
=================================================================== |
--- compiler/java/com/google/dart/compiler/SystemLibraryManager.java (revision 15465) |
+++ compiler/java/com/google/dart/compiler/SystemLibraryManager.java (working copy) |
@@ -94,6 +94,7 @@ |
public URI translateDartUri(URI uri) { |
String host = uri.getHost(); |
+ |
SystemLibrary library = hostMap.get(host); |
if (library != null) { |
return library.translateUri(uri); |
@@ -101,6 +102,10 @@ |
if (host != null) { |
return libraryProvider.resolveHost(host, uri); |
} |
+ String authorithy = uri.getAuthority(); |
+ if (authorithy != null){ |
+ return libraryProvider.resolveHost(authorithy, uri); |
+ } |
throw new RuntimeException("No system library defined for " + uri); |
} |