| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/RemoteAnalysisServerImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/RemoteAnalysisServerImpl.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/RemoteAnalysisServerImpl.java
|
| index 241817603d16f90b61359d61c54df29de2b2559b..5cdc543c1d06b356290fdcf1c5b1b3f01585cf0e 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/RemoteAnalysisServerImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/RemoteAnalysisServerImpl.java
|
| @@ -415,6 +415,10 @@ public class RemoteAnalysisServerImpl implements AnalysisServer {
|
| sendRequestToServer(id, RequestUtilities.generateExecutionSetSubscriptions(id, subscriptions));
|
| }
|
|
|
| + public boolean isSocketOpen() {
|
| + return socket.isOpen();
|
| + }
|
| +
|
| @Override
|
| public void removeAnalysisServerListener(AnalysisServerListener listener) {
|
| this.listener.removeListener(listener);
|
|
|