Make pipeInputToInput yet more resilient to stream closure.

utils/pub/io.dart

 // Copyright (c) 2012, 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.
 
 /**
  * Helper functionality to make working with IO easier.
  */
 library io;
 
 import 'dart:io';
@@ skipping 605 matching lines @@
 Future pipeInputToInput(InputStream source, ListInputStream sink) {
   var completer = new Completer();
   source.onClosed = () {
     sink.markEndOfStream();
     completer.complete(null);
   };
   source.onData = () {
     // Even if the sink is closed and we aren't going to do anything with more
     // data, we still need to drain it from source to work around issue 7218.
     var data = source.read();
-    if (!sink.closed) sink.write(data);
+
+    // Force the program to spin the event loop to work around issue 4222 and
+    // get sink.closed to be set correctly.

[Bob Nystrom, 2012/12/08 03:51:05]

Add some kind of TODO to do something less nasty here?

+    sleep(0).then((_) {
+      if (!sink.closed) sink.write(data);
+    });
   };
   // TODO(nweiz): propagate this error to the sink. See issue 3657.
   source.onError = (e) { throw e; };
   return completer.future;
 }
 
 /**
  * Buffers all input from an InputStream and returns it as a future.
  */
 Future<List<int>> consumeInputStream(InputStream stream) {
@@ skipping 503 matching lines @@
   return new Directory(entry);
 }
 
 /**
  * Gets a [Uri] for [uri], which can either already be one, or be a [String].
  */
 Uri _getUri(uri) {
   if (uri is Uri) return uri;
   return new Uri.fromString(uri);
 }