| 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 f810259937665bab1f6029ba292152786824d2a3..4917e2c0274e6ea49d3365821c1c8df47c75474f 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
|
| @@ -17,6 +17,8 @@ import com.google.common.base.Preconditions;
|
|
|
| /**
|
| * A remote server socket over standard input and output.
|
| + *
|
| + * @coverage dart.server.remote
|
| */
|
| public class StdioServerSocket {
|
| private final String runtimePath;
|
|
|