| Index: runtime/bin/vmservice/observatory/lib/src/app/location_manager.dart
|
| diff --git a/runtime/bin/vmservice/observatory/lib/src/app/location_manager.dart b/runtime/bin/vmservice/observatory/lib/src/app/location_manager.dart
|
| index 0d7705bdda54ebc9682efce359c32bbfb3d655f1..38269dfff23e49e408cc1b10f8134d6a706fc874 100644
|
| --- a/runtime/bin/vmservice/observatory/lib/src/app/location_manager.dart
|
| +++ b/runtime/bin/vmservice/observatory/lib/src/app/location_manager.dart
|
| @@ -32,7 +32,7 @@ abstract class LocationManager extends Observable {
|
|
|
| /// Go to a specific url.
|
| void go(String url) {
|
| - if (_app.vm == null) {
|
| + if ((url != makeLink('/vm-connect/')) && _app.vm == null) {
|
| if (!window.confirm('Connection with VM has been lost. '
|
| 'Proceeding will lose current page.')) {
|
| return;
|
|
|