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); |