| Index: runtime/bin/stdio_patch.dart
|
| diff --git a/runtime/bin/stdio_patch.dart b/runtime/bin/stdio_patch.dart
|
| index 38c488d1857070345f2796b21336caf916b4c378..6c8df4ba86995b9bd727735330d664340fc0dc02 100644
|
| --- a/runtime/bin/stdio_patch.dart
|
| +++ b/runtime/bin/stdio_patch.dart
|
| @@ -24,7 +24,8 @@ patch class _StdIOUtils {
|
| case _STDIO_HANDLE_TYPE_SOCKET:
|
| return new _Socket._writePipe(fd);
|
| case _STDIO_HANDLE_TYPE_FILE:
|
| - return new IOSink(new _FileStreamConsumer.fromStdio(fd));
|
| + return new IOSink(new _FileStreamConsumer.fromStdio(fd),
|
| + Encoding.ASCII);
|
| default:
|
| throw new FileIOException("Unsupported stdin type");
|
| }
|
|
|