| 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 c03dfe8522a90eafa26f6821ec7af896f5966c97..8e2565fa8d1681623a35aa9ee56356c7960d2d2d 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
|
| @@ -76,10 +76,12 @@ public class DartCoreDebug {
|
|
|
| public static final String ANALYSIS_SERVER_INSTRUMENTATION_LOG_FILE = getOptionValue("experimental/analysisServer/instrumentationLogFile");
|
|
|
| + // http diagnostic port
|
| public static final String ANALYSIS_SERVER_HTTP_PORT_PREF = "analysisServerHttpPort";
|
| public static final String ANALYSIS_SERVER_HTTP_PORT = getOptionOrPrefValue(
|
| "experimental/analysisServer/http_port",
|
| ANALYSIS_SERVER_HTTP_PORT_PREF);
|
| +
|
| public static final String ENABLE_NEW_FORMATTER_PREF = "experimental/newFormatter";
|
| 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");
|
|
|