| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisUtility.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisUtility.java (revision 9991)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/AnalysisUtility.java (working copy)
|
| @@ -190,7 +190,7 @@
|
| static URI toLibraryUri(AnalysisServer server, File libraryFile) {
|
| URI fileUri = libraryFile.toURI();
|
| URI shortUri = server.getLibraryManager().getRelativeUri(fileUri);
|
| - return shortUri != null ? shortUri : fileUri;
|
| + return shortUri != null && !SystemLibraryManager.isPackageUri(shortUri) ? shortUri : fileUri;
|
| }
|
|
|
| private static DartCompilationError newIoError(Source source, IOException e) {
|
|
|