| 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 d5b3152cbc2755de40811dd94861ed4dfb767bd2..4d3f7ac78c4f0997f22f88cd3401461da56c1672 100644
|
| --- a/runtime/observatory/lib/src/elements/ports.html
|
| +++ b/runtime/observatory/lib/src/elements/ports.html
|
| @@ -22,6 +22,7 @@
|
| <isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu>
|
| <nav-menu link="{{ makeLink('/ports', isolate) }}" anchor="ports" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| + <nav-notify notifications="{{ app.notifications }}"></nav-notify>
|
| </nav-bar>
|
| <div class="content">
|
| <h1>Ports ({{ports.length}})</h1>
|
|
|