| Index: runtime/observatory/lib/src/elements/timeline_page.dart
|
| diff --git a/runtime/observatory/lib/src/elements/timeline_page.dart b/runtime/observatory/lib/src/elements/timeline_page.dart
|
| index 2d7049ffb51ee98c05b047757e28769786af03c7..04a7376186b8ef6da0113d23d866be987f92bcce 100644
|
| --- a/runtime/observatory/lib/src/elements/timeline_page.dart
|
| +++ b/runtime/observatory/lib/src/elements/timeline_page.dart
|
| @@ -32,10 +32,15 @@ class TimelinePageElement extends ObservatoryElement {
|
|
|
| Future postMessage(String method) {
|
| IFrameElement e = $['root'];
|
| + var isolateIds = new List();
|
| + for (var isolate in app.vm.isolates) {
|
| + isolateIds.add(isolate.id);
|
| + }
|
| var message = {
|
| 'method': method,
|
| 'params': {
|
| - 'vmAddress': (app.vm as WebSocketVM).target.networkAddress
|
| + 'vmAddress': (app.vm as WebSocketVM).target.networkAddress,
|
| + 'isolateIds': isolateIds
|
| }
|
| };
|
| e.contentWindow.postMessage(JSON.encode(message), window.location.href);
|
|
|