| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ResponseStream.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ResponseStream.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ResponseStream.java
|
| index 898a5c2ddea7adc06c17eece5871a731d59d8e22..908a5a21abd8de47a31489590a1dab1f482e2bf9 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ResponseStream.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/ResponseStream.java
|
| @@ -22,6 +22,11 @@ import com.google.gson.JsonObject;
|
| */
|
| public interface ResponseStream {
|
| /**
|
| + * Notifies this {@link ResponseStream} that the last taken response has been processed.
|
| + */
|
| + void lastRequestProcessed();
|
| +
|
| + /**
|
| * Takes the the next response from the stream. Blocks if no response available.
|
| */
|
| JsonObject take() throws Exception;
|
|
|