| Index: runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart b/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| index 509385c460e5fa9a0b2d428764dd0519bc09033d..d4457916518a050e9da7f367762e3dc4f58bac37 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| @@ -36,6 +36,7 @@ class LocationManager extends Observable {
|
| }
|
| }
|
|
|
| +
|
| /// Returns the current isolate prefix, i.e. '#/isolates/XX/' if one
|
| /// is present and null otherwise.
|
| String currentIsolateAnchorPrefix() {
|
| @@ -85,6 +86,7 @@ class LocationManager extends Observable {
|
| profile = true;
|
| } else {
|
| application.requestManager.get(requestUrl);
|
| + profile = false;
|
| }
|
| }
|
|
|
|
|