| Index: runtime/observatory/lib/src/elements/ports.dart
|
| diff --git a/runtime/observatory/lib/src/elements/ports.dart b/runtime/observatory/lib/src/elements/ports.dart
|
| index dbe230e84505f97167088c5187aaff45e1fb5de2..8f9cb3911e798f3476ef8bcc67ed18a33a59b3a0 100644
|
| --- a/runtime/observatory/lib/src/elements/ports.dart
|
| +++ b/runtime/observatory/lib/src/elements/ports.dart
|
| @@ -5,9 +5,7 @@
|
| library ports;
|
|
|
| import 'dart:async';
|
| -import 'dart:html';
|
| import 'observatory_element.dart';
|
| -import 'package:observatory/app.dart';
|
| import 'package:observatory/service.dart';
|
| import 'package:polymer/polymer.dart';
|
|
|
| @@ -16,7 +14,7 @@ class PortsPageElement extends ObservatoryElement {
|
| PortsPageElement.created() : super.created();
|
|
|
| @observable Isolate isolate;
|
| - @observable /*ObservableList | ServiceObject*/ ports;
|
| + @observable var /*ObservableList | ServiceObject*/ ports;
|
|
|
| void isolateChanged(oldValue) {
|
| if (isolate != null) {
|
|
|