| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteResponseStream.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteResponseStream.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteResponseStream.java
|
| index 8ad7a625d379149385a7b6a3f5a32919659cd610..dcd1787f066521fc71f2bcf7c3885e2a615efd83 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteResponseStream.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ByteResponseStream.java
|
| @@ -43,6 +43,10 @@ public class ByteResponseStream implements ResponseStream {
|
| }
|
|
|
| @Override
|
| + public void lastRequestProcessed() {
|
| + }
|
| +
|
| + @Override
|
| public JsonObject take() throws Exception {
|
| String line = reader.readLine();
|
| return (JsonObject) new JsonParser().parse(line);
|
|
|