Provide an API to dart:developer to control the web server hosting the Service Protocol

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

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of app;
 
 /// The observatory application. Instances of this are created and owned
 /// by the observatory_application custom element.
 class ObservatoryApplication {
   static ObservatoryApplication app;
@@ skipping 221 matching lines @@
         return;
       }
       if (targets.current == null) {
         _switchVM(null);
       }
       final bool currentTarget =
           (_vm as WebSocketVM)?.target == targets.current;
       final bool currentTargetConnected = (_vm != null) && !_vm.isDisconnected;
       if (!currentTarget || !currentTargetConnected) {
         _switchVM(new WebSocketVM(targets.current));
+        app.locationManager.go(Uris.vm());
       }
     });
 
     Logger.root.info('Setting initial target to ${targets.current.name}');
     _switchVM(new WebSocketVM(targets.current));
     _initOnce();
 
     // delete pause events.
     events.onIsolateExit.listen(_deletePauseEvents);
     events.onResume.listen(_deletePauseEvents);
@@ skipping 27 matching lines @@
     }
 
     // TODO(turnidge): Report this failure via analytics.
     Logger.root.warning('Caught exception: ${e}\n${st}');
     notifications.add(new ExceptionNotification(e, stacktrace: st));
   }
 
   // This map keeps track of which curly-blocks have been expanded by the user.
   Map<String, bool> expansions = {};
 }