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; |
} |
} |
-} |
+} |