Index: runtime/bin/stream_util.dart |
=================================================================== |
--- runtime/bin/stream_util.dart (revision 13683) |
+++ runtime/bin/stream_util.dart (working copy) |
@@ -31,7 +31,7 @@ |
return _readInto(buffer, offset, bytesToRead); |
} |
- void pipe(OutputStream output, [bool close = true]) { |
+ void pipe(OutputStream output, {bool close: true}) { |
_pipe(this, output, close: close); |
} |
@@ -145,7 +145,7 @@ |
} |
-void _pipe(InputStream input, OutputStream output, [bool close]) { |
+void _pipe(InputStream input, OutputStream output, {bool close}) { |
Function pipeDataHandler; |
Function pipeCloseHandler; |
Function pipeNoPendingWriteHandler; |
@@ -188,7 +188,7 @@ |
// Encode and write data. |
_StringEncoder encoder = _StringEncoders.encoder(encoding); |
List<int> data = encoder.encodeString(string); |
- return write(data, copyBuffer: false); |
+ return write(data, false); |
} |
return true; |
} |