Do not navigate to vm-connect page upon disconnect

runtime/bin/vmservice/observatory/lib/src/app/application.dart

Index: runtime/bin/vmservice/observatory/lib/src/app/application.dart
diff --git a/runtime/bin/vmservice/observatory/lib/src/app/application.dart b/runtime/bin/vmservice/observatory/lib/src/app/application.dart
index f6eb6344b26532cdea5157cde4c542794a5e1bfb..a848c35ee4dd8ab52e41c9441045d2fe81ffbcbe 100644
--- a/runtime/bin/vmservice/observatory/lib/src/app/application.dart
+++ b/runtime/bin/vmservice/observatory/lib/src/app/application.dart
@@ -87,6 +87,7 @@ class ObservatoryApplication extends Observable {
         notifications.add(event);
         break;
 
+
       case 'GC':
         // Ignore GC events for now.
         break;
@@ -201,10 +202,17 @@ class ObservatoryApplication extends Observable {
     _initOnce(false);
   }
 
+  void _removeDisconnectEvents() {
+    notifications.removeWhere((oldEvent) {
+        return (oldEvent.eventType == 'VMDisconnected');
+      });
+  }
+
   _vmConnected(VM vm) {
     if (vm is WebSocketVM) {
       targets.add(vm.target);
     }
+    _removeDisconnectEvents();
   }
 
   _vmDisconnected(VM vm) {
@@ -213,6 +221,6 @@ class ObservatoryApplication extends Observable {
       return;
     }
     this.vm = null;
-    locationManager.go(locationManager.makeLink('/vm-connect/'));
+    notifications.add(new ServiceEvent.vmDisconencted());
   }
 }