| Index: runtime/observatory/lib/src/app/location_manager.dart
|
| diff --git a/runtime/observatory/lib/src/app/location_manager.dart b/runtime/observatory/lib/src/app/location_manager.dart
|
| index 577cb92101c87337cbe476abbe33c5d1d6c6dc25..64ea764f927c66b5893117aad31470ea112c7f8f 100644
|
| --- a/runtime/observatory/lib/src/app/location_manager.dart
|
| +++ b/runtime/observatory/lib/src/app/location_manager.dart
|
| @@ -54,6 +54,11 @@ class LocationManager extends Observable {
|
| /// Update the application location. After this function returns,
|
| /// [uri] and [debugArguments] will be updated.
|
| _updateApplicationLocation(String url) {
|
| + if (url == makeLink('/vm-connect')) {
|
| + // When we go to the vm-connect page, drop all notifications.
|
| + _app.notifications.deleteAll();
|
| + }
|
| +
|
| // Chop off leading '#'.
|
| if (url.startsWith('#')) {
|
| url = url.substring(1);
|
| @@ -115,11 +120,6 @@ class LocationManager extends Observable {
|
| url = makeLink('/vm-connect');
|
| }
|
|
|
| - if (url == makeLink('/vm-connect')) {
|
| - // When we go to the vm-connect page, drop all notifications.
|
| - _app.notifications.clear();
|
| - }
|
| -
|
| if (addToBrowserHistory) {
|
| _addToBrowserHistory(url);
|
| }
|
|
|