| Index: mojo/public/dart/src/event_stream.dart
|
| diff --git a/mojo/public/dart/src/event_stream.dart b/mojo/public/dart/src/event_stream.dart
|
| index 610285a358d3eed64f1e5f6c4d236a1b0bb203c6..6669ac1e156ffcd1fad86711274a4707e10baf4a 100644
|
| --- a/mojo/public/dart/src/event_stream.dart
|
| +++ b/mojo/public/dart/src/event_stream.dart
|
| @@ -4,7 +4,7 @@
|
|
|
| part of core;
|
|
|
| -class MojoEventStream extends Stream<int> {
|
| +class MojoEventStream extends Stream<List<int>> {
|
| // The underlying Mojo handle.
|
| MojoHandle _handle;
|
|
|
| @@ -118,11 +118,7 @@ class MojoEventStream extends Stream<int> {
|
| String toString() => "$_handle";
|
| }
|
|
|
| -abstract class Listener {
|
| - StreamSubscription<List<int>> listen();
|
| -}
|
| -
|
| -class MojoEventStreamListener implements Listener {
|
| +class MojoEventStreamListener {
|
| MojoMessagePipeEndpoint _endpoint;
|
| MojoEventStream _eventStream;
|
| bool _isOpen = false;
|
|
|