| 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();
|
|
|