| 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 04b6d84bbf7f69a13984f2e8497871bd914440dc..0d7705bdda54ebc9682efce359c32bbfb3d655f1 100644
|
| --- a/runtime/bin/vmservice/observatory/lib/src/app/location_manager.dart
|
| +++ b/runtime/bin/vmservice/observatory/lib/src/app/location_manager.dart
|
| @@ -33,6 +33,10 @@ abstract class LocationManager extends Observable {
|
| /// Go to a specific url.
|
| void go(String url) {
|
| if (_app.vm == null) {
|
| + if (!window.confirm('Connection with VM has been lost. '
|
| + 'Proceeding will lose current page.')) {
|
| + return;
|
| + }
|
| url = makeLink('/vm-connect/');
|
| }
|
| _pushUrl(url);
|
|
|