Index: runtime/bin/vmservice/client/lib/src/observatory/isolate_manager.dart |
diff --git a/runtime/bin/vmservice/client/lib/src/observatory/isolate_manager.dart b/runtime/bin/vmservice/client/lib/src/observatory/isolate_manager.dart |
index 93cba6546166282bb7cb661c2f6123ec18ade3fd..1471450d7b2df617e02e441c6327bab9e4a01428 100644 |
--- a/runtime/bin/vmservice/client/lib/src/observatory/isolate_manager.dart |
+++ b/runtime/bin/vmservice/client/lib/src/observatory/isolate_manager.dart |
@@ -24,6 +24,15 @@ class IsolateManager extends Observable { |
}); |
} |
+ Isolate getIsolate(int id) { |
+ Isolate isolate = isolates[id]; |
+ if (isolate == null) { |
+ isolate = new Isolate(id, ''); |
+ isolates[id] = isolate; |
+ } |
+ return isolate; |
+ } |
+ |
void _updateIsolates(List<Map> members) { |
// Find dead isolates. |
var deadIsolates = []; |
@@ -43,6 +52,8 @@ class IsolateManager extends Observable { |
if (isolates[id] == null) { |
var isolate = new Isolate(id, name); |
isolates[id] = isolate; |
+ } else { |
+ isolates[id].name = name; |
} |
}); |
} |