Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java (revision 8365) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java (working copy) |
@@ -839,7 +839,8 @@ |
long start = System.currentTimeMillis(); |
LibraryUnit unit; |
- if (DartCoreDebug.ANALYSIS_SERVER && parsedUnits == null) { |
+ if (DartCoreDebug.ANALYSIS_SERVER && parsedUnits == null |
+ && !(librarySource instanceof LibraryWithSuppliedSources)) { |
// Resolve dart:<libname> to file URI before calling AnalysisServer |
EditorLibraryManager manager = SystemLibraryManagerProvider.getSystemLibraryManager(); |