| 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 1471450d7b2df617e02e441c6327bab9e4a01428..e598e40aff45283258ffda2722577fc2b9ef06c8 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/observatory/isolate_manager.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/observatory/isolate_manager.dart
|
| @@ -9,8 +9,8 @@ class IsolateManager extends Observable {
|
| ObservatoryApplication _application;
|
| ObservatoryApplication get application => _application;
|
|
|
| - @observable final Map<int, Isolate> isolates =
|
| - toObservable(new Map<int, Isolate>());
|
| + @observable final Map<String, Isolate> isolates =
|
| + toObservable(new Map<String, Isolate>());
|
|
|
| static bool _foundIsolateInMembers(int id, List<Map> members) {
|
| return members.any((E) => E['id'] == id);
|
| @@ -24,7 +24,7 @@ class IsolateManager extends Observable {
|
| });
|
| }
|
|
|
| - Isolate getIsolate(int id) {
|
| + Isolate getIsolate(String id) {
|
| Isolate isolate = isolates[id];
|
| if (isolate == null) {
|
| isolate = new Isolate(id, '');
|
|
|