| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteRequestSink.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteRequestSink.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteRequestSink.java
|
| index 3a5a3e8e85f8b032a34b99a4fddcebfaaf1b93a1..cd8e82cb83df1820937ed08116d4db8f1118368a 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteRequestSink.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteRequestSink.java
|
| @@ -57,4 +57,9 @@ public class ByteRequestSink implements RequestSink {
|
| writer.println(text);
|
| writer.flush();
|
| }
|
| +
|
| + @Override
|
| + public void close() {
|
| + writer.close();
|
| + }
|
| }
|
|
|