pipeInputToInput should be resilient to stream closure.

Review URL: https://codereview.chromium.org//11474048

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@15880 260f80e4-7a28-3924-810f-c04153c831b5

lib/src/io.dart

@@ -619,7 +619,12 @@ Future pipeInputToInput(InputStream source, ListInputStream sink) {
     sink.markEndOfStream();
     completer.complete(null);
   };
-  source.onData = () => sink.write(source.read());
+  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);
+  };
   // TODO(nweiz): propagate this error to the sink. See issue 3657.
   source.onError = (e) { throw e; };
   return completer.future;