| Index: runtime/bin/vmservice/client/lib/src/elements/io_view.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/io_view.dart b/runtime/bin/vmservice/client/lib/src/elements/io_view.dart
|
| index 0016d8347f60ec5bc09e60b8f4b146bd6196b288..431fa25c924022014328b3f69b7de6da1f4643e6 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/io_view.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/io_view.dart
|
| @@ -99,6 +99,33 @@ class IOSocketViewElement extends ObservatoryElement {
|
| }
|
| }
|
|
|
| +@CustomTag('io-web-socket-ref')
|
| +class IOWebSocketRefElement extends ServiceRefElement {
|
| + IOWebSocketRefElement.created() : super.created();
|
| +}
|
| +
|
| +@CustomTag('io-web-socket-list-view')
|
| +class IOWebSocketListViewElement extends ObservatoryElement {
|
| + @published ServiceMap list;
|
| +
|
| + IOWebSocketListViewElement.created() : super.created();
|
| +
|
| + void refresh(var done) {
|
| + list.reload().whenComplete(done);
|
| + }
|
| +}
|
| +
|
| +@CustomTag('io-web-socket-view')
|
| +class IOWebSocketViewElement extends ObservatoryElement {
|
| + @published ServiceMap webSocket;
|
| +
|
| + IOWebSocketViewElement.created() : super.created();
|
| +
|
| + void refresh(var done) {
|
| + webSocket.reload().whenComplete(done);
|
| + }
|
| +}
|
| +
|
| @CustomTag('io-random-access-file-list-view')
|
| class IORandomAccessFileListViewElement extends ObservatoryElement {
|
| @published ServiceMap list;
|
| @@ -201,4 +228,4 @@ class IOProcessViewElement extends ObservatoryElement {
|
| _updateTimer = null;
|
| }
|
| }
|
| -}
|
| +}
|
|
|