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