Chromium Code Reviews| 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/'); |
|
turnidge
2014/09/15 16:24:48
Consider adding a notification.
Cutch
2014/09/15 18:11:20
Done. I notify the user immediately on disconnect.
|
| } |
| _pushUrl(url); |