| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| index 33b9676a673ecc88a8c68a4d52bd89de60ccf73a..0796aa9be75e271adbd5e87a18857351230a258c 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| @@ -27,6 +27,7 @@ import com.google.dart.server.AnalysisServer;
|
| import com.google.dart.server.generated.types.RequestError;
|
| import com.google.dart.server.generated.types.ServerService;
|
| import com.google.dart.server.internal.remote.DebugPrintStream;
|
| +import com.google.dart.server.internal.remote.FileReadMode;
|
| import com.google.dart.server.internal.remote.RemoteAnalysisServerImpl;
|
| import com.google.dart.server.internal.remote.StdioServerSocket;
|
| import com.google.dart.server.utilities.logging.Logging;
|
| @@ -570,7 +571,8 @@ public class DartCore extends Plugin implements DartSdkListener {
|
| DartCoreDebug.ANALYSIS_SERVER_DEBUG,
|
| DartCoreDebug.ANALYSIS_SERVER_PROFILE,
|
| httpPort,
|
| - false);
|
| + false,
|
| + FileReadMode.AS_IS);
|
| socket.setClientId("org.dartlang.darteditor");
|
| // start server
|
| analysisServer = new RemoteAnalysisServerImpl(socket);
|
|
|