| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/ParseLibraryFileTask.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/ParseLibraryFileTask.java (revision 7590)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/ParseLibraryFileTask.java (working copy)
|
| @@ -43,7 +43,7 @@
|
| this.libraryFile = libraryFile;
|
| this.callback = callback;
|
| URI fileUri = libraryFile.toURI();
|
| - URI shortUri = server.getLibraryManager().getShortUri(fileUri);
|
| + URI shortUri = server.getLibraryManager().getRelativeUri(fileUri);
|
| URI libUri = shortUri != null ? shortUri : fileUri;
|
| this.librarySource = new UrlLibrarySource(libUri, server.getLibraryManager());
|
| }
|
| @@ -67,7 +67,7 @@
|
| unit = context.getUnresolvedUnit(libraryFile);
|
| if (unit == null) {
|
| Set<String> prefixes = new HashSet<String>();
|
| - unit = parse(server, libraryFile, librarySource, libraryFile, prefixes);
|
| + unit = parse(server, libraryFile, librarySource, libraryFile.getName(), prefixes);
|
| context.cacheUnresolvedUnit(libraryFile, unit);
|
| }
|
| }
|
|
|