| Index: runtime/observatory/lib/src/elements/ports.html
|
| diff --git a/runtime/observatory/lib/src/elements/ports.html b/runtime/observatory/lib/src/elements/ports.html
|
| index 70aac0b70dc24143e369dce94f57e2336d452560..d5b3152cbc2755de40811dd94861ed4dfb767bd2 100644
|
| --- a/runtime/observatory/lib/src/elements/ports.html
|
| +++ b/runtime/observatory/lib/src/elements/ports.html
|
| @@ -24,7 +24,7 @@
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| </nav-bar>
|
| <div class="content">
|
| - <h1>Ports</h1>
|
| + <h1>Ports ({{ports.length}})</h1>
|
| <hr>
|
| <div class="memberList">
|
| <template repeat="{{ port in ports }}">
|
|
|