| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| index 27b6d5a24e37ce5170bfdad1afca30646bc4f9e7..bf6aef93a82842eb3b614597795beff5a65f75b7 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| @@ -94,6 +94,7 @@ public class DartCoreDebug {
|
| ANALYSIS_SERVER_HTTP_PORT_PREF);
|
|
|
| public static final String ANALYSIS_SERVER_LOG_FILE = getOptionValue("experimental/analysisServer/logFile");
|
| + public static final boolean ANALYSIS_SERVER_PRINT_TO_CONSOLE = isOptionTrue("experimental/analysisServer/printToConsole");
|
| public static final boolean ANALYSIS_SERVER_PROFILE = isOptionTrue("experimental/analysisServer/profile");
|
| public static final boolean NO_PUB_PACKAGES = isOptionTrue("experimental/noPubPackages");
|
| // The defaults are duplicated for tests in
|
|
|