Web Socket API for talking to Editor.

sdk/lib/_internal/pub/lib/src/command/build.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.
 
 library pub.command.build;
 
 import 'dart:async';
 
 import 'package:barback/barback.dart';
 import 'package:path/path.dart' as path;
@@ skipping 52 matching lines @@
           () => server.barback.getAllAssets());
     }).then((assets) {
       // Don't copy Dart libraries. Their contents will already be included
       // in the generated JavaScript.
       assets = assets.where((asset) => asset.id.extension != ".dart");
 
       return Future.forEach(assets, (asset) {
         // Figure out the output directory for the asset, which is the same
         // as the path pub serve would use to serve it.
         var relativeUrl = barback.idtoUrlPath(entrypoint.root.name, asset.id);
+
+        // Remove the leading "/".
+        relativeUrl = relativeUrl.substring(1);
+
         var relativePath = path.fromUri(new Uri(path: relativeUrl));
         var destPath = path.join(target, relativePath);
 
         ensureDir(path.dirname(destPath));
         // TODO(rnystrom): Should we display this to the user?
         return createFileFromStream(asset.read(), destPath);
       }).then((_) {
         _copyBrowserJsFiles(dart2jsTransformer.entrypoints);
         // TODO(rnystrom): Should this count include the JS files?
         log.message("Built ${assets.length} files!");
@@ skipping 37 matching lines @@
   // TODO(nweiz): do something more principled when issue 6101 is fixed.
   /// Ensures that the [name].js file is copied into [directory] in [target],
   /// under `packages/browser/`.
   void _addBrowserJs(String directory, String name) {
     var jsPath = path.join(
         target, directory, 'packages', 'browser', '$name.js');
     ensureDir(path.dirname(jsPath));
     copyFile(path.join(entrypoint.packagesDir, 'browser', '$name.js'), jsPath);
   }
 }