Observatory frontend changes for Dartium DevTools.

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

Index: runtime/bin/vmservice/client/lib/src/observatory/application.dart
diff --git a/runtime/bin/vmservice/client/lib/src/observatory/application.dart b/runtime/bin/vmservice/client/lib/src/observatory/application.dart
index f321dbe93423cbae4ca00e210ce1b4d3345b7742..46ea6315bf0f5f0b3497bb47681a278f8a1e7555 100644
--- a/runtime/bin/vmservice/client/lib/src/observatory/application.dart
+++ b/runtime/bin/vmservice/client/lib/src/observatory/application.dart
@@ -11,10 +11,7 @@ class ObservatoryApplication extends Observable {
   @observable final RequestManager requestManager;
   @observable final IsolateManager isolateManager;
 
-  ObservatoryApplication() :
-      locationManager = new LocationManager(),
-      requestManager = new HttpRequestManager(),
-      isolateManager = new IsolateManager() {
+  void _setup() {
     locationManager._application = this;
     requestManager._application = this;
     isolateManager._application = this;
@@ -22,6 +19,20 @@ class ObservatoryApplication extends Observable {
     locationManager.init();
   }
 
+  ObservatoryApplication.devtools() :
+      locationManager = new LocationManager(),
+      requestManager = new PostMessageRequestManager(),
+      isolateManager = new IsolateManager() {
+    _setup();
+  }
+
+  ObservatoryApplication() :
+      locationManager = new LocationManager(),
+      requestManager = new HttpRequestManager(),
+      isolateManager = new IsolateManager() {
+    _setup();
+  }
+
   /// Return the [Isolate] with [id].
   Isolate getIsolate(int id) {
     return isolateManager.isolates[id];