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