Add WebSockets to Observatory.

runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/io_view.html

Index: runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/io_view.html
diff --git a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/io_view.html b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/io_view.html
index 2a3a03ea7522ce5f973ae3a047a10471fe4e97d2..9daacb0cf69fd8bc47be4f155c9cb7ec187562a8 100644
--- a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/io_view.html
+++ b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/io_view.html
@@ -35,6 +35,14 @@
 
       <ul class="list-group">
         <li class="list-group-item">
+          <a href="{{io.isolate.relativeHashLink('io/websockets')}}">WebSockets</a>
+        </li>
+      </ul>
+
+      <br>
+
+      <ul class="list-group">
+        <li class="list-group-item">
           <a href="{{io.isolate.relativeHashLink('io/file/randomaccessfiles')}}">Random Access Files</a>
         </li>
       </ul>
@@ -146,14 +154,14 @@
     </nav-bar>
 
     <div class="content">
-      <h1>Socket</h1>
+      <h1>Sockets</h1>
 
       <br>
 
       <ul class="list-group">
-        <template repeat="{{ file in list['members'] }}">
+        <template repeat="{{ socket in list['members'] }}">
           <li class="list-group-item">
-            <io-socket-ref ref="{{ file }}"></io-socket-ref>
+            <io-socket-ref ref="{{ socket }}"></io-socket-ref>
           </li>
         </template>
       </ul>
@@ -197,6 +205,66 @@
   </template>
 </polymer-element>
 
+<polymer-element name="io-web-socket-ref" extends="service-ref">
+  <template>
+    <link rel="stylesheet" href="css/shared.css">
+    <a href="{{ url }}">{{ name }}</a>
+  </template>
+</polymer-element>
+
+<polymer-element name="io-web-socket-list-view" extends="observatory-element">
+  <template>
+    <link rel="stylesheet" href="css/shared.css">
+
+    <nav-bar>
+      <top-nav-menu last="{{ true }}"></top-nav-menu>
+      <nav-refresh callback="{{ refresh }}"></nav-refresh>
+    </nav-bar>
+
+    <div class="content">
+      <h1>WebSockets</h1>
+
+      <br>
+
+      <ul class="list-group">
+        <template repeat="{{ webSocket in list['members'] }}">
+          <li class="list-group-item">
+            <io-web-socket-ref ref="{{ webSocket }}"></io-web-socket-ref>
+          </li>
+        </template>
+      </ul>
+    </div>
+    <br>
+    <hr>
+  </template>
+</polymer-element>
+
+<polymer-element name="io-web-socket-view" extends="observatory-element">
+  <template>
+    <link rel="stylesheet" href="css/shared.css">
+
+    <nav-bar>
+      <top-nav-menu last="{{ true }}"></top-nav-menu>
+      <nav-refresh callback="{{ refresh }}"></nav-refresh>
+    </nav-bar>
+
+    <div class="content">
+      <h1>WebSocket</h1>
+
+      <br>
+
+      <div class="memberList">
+        <div class="memberItem">
+          <div class="memberName">Socket</div>
+          <div class="memberValue"><io-socket-ref ref="{{ webSocket['socket'] }}"></io-socket-ref></div>
+        </div>
+      </div>
+    </div>
+    <br>
+    <hr>
+  </template>
+</polymer-element>
+
 <polymer-element name="io-random-access-file-ref" extends="service-ref">
   <template>
     <link rel="stylesheet" href="css/shared.css">