| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/StdioServerSocket.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/StdioServerSocket.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/StdioServerSocket.java
|
| index 65d709190292aaef8ffd6246793a78df27713cbc..38e51a89c29695b5eda98c834ad537e4ba2230e6 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/StdioServerSocket.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/StdioServerSocket.java
|
| @@ -122,6 +122,18 @@ public class StdioServerSocket implements AnalysisServerSocket {
|
| return responseStream;
|
| }
|
|
|
| + @Override
|
| + public boolean isOpen() {
|
| + try {
|
| + if (process != null) {
|
| + process.exitValue();
|
| + }
|
| + return false;
|
| + } catch (IllegalThreadStateException ex) {
|
| + return true;
|
| + }
|
| + }
|
| +
|
| /**
|
| * Set the identifier used to identify this client to the server to the given identifier. The
|
| * identifier must be set before the server has been started.
|
|
|