| 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 6360e7266be842c1834680de7e3056e45f9d180a..dbe230e84505f97167088c5187aaff45e1fb5de2 100644
|
| --- a/runtime/observatory/lib/src/elements/ports.dart
|
| +++ b/runtime/observatory/lib/src/elements/ports.dart
|
| @@ -16,7 +16,7 @@ class PortsPageElement extends ObservatoryElement {
|
| PortsPageElement.created() : super.created();
|
|
|
| @observable Isolate isolate;
|
| - @observable ServiceObject ports;
|
| + @observable /*ObservableList | ServiceObject*/ ports;
|
|
|
| void isolateChanged(oldValue) {
|
| if (isolate != null) {
|
| @@ -28,7 +28,7 @@ class PortsPageElement extends ObservatoryElement {
|
| return isolate.getPorts().then(_refreshView);
|
| }
|
|
|
| - _refreshView(ServiceObject object) {
|
| + _refreshView(/*ObservableList | ServiceObject*/ object) {
|
| ports = object['ports'];
|
| }
|
| }
|
|
|