| 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 df1c62d9161e0121d5372cbe7a4a70cf62927c33..0de5fee29640d1d871b43c6baa332f1de0af0d0f 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
|
| @@ -1721,7 +1721,7 @@ public class DartCore extends Plugin implements DartSdkListener {
|
|
|
| synchronized (analysisServerLock) {
|
| if (analysisServer != null) {
|
| - analysisServer.shutdown();
|
| + analysisServer.server_shutdown();
|
| }
|
| }
|
|
|
|
|