| Index: runtime/bin/stdio_patch.dart
|
| diff --git a/runtime/bin/stdio_patch.dart b/runtime/bin/stdio_patch.dart
|
| index 90b3a41fad2b4bfa3fcab92d075771d257634d32..8bc3d677785497abea357ab32262e4bef3a82baa 100644
|
| --- a/runtime/bin/stdio_patch.dart
|
| +++ b/runtime/bin/stdio_patch.dart
|
| @@ -8,9 +8,9 @@ patch class _StdIOUtils {
|
| case _STDIO_HANDLE_TYPE_TERMINAL:
|
| case _STDIO_HANDLE_TYPE_PIPE:
|
| case _STDIO_HANDLE_TYPE_SOCKET:
|
| - return new _StdStream(new _Socket._readPipe(0));
|
| + return new Stdin._(new _Socket._readPipe(0));
|
| case _STDIO_HANDLE_TYPE_FILE:
|
| - return new _StdStream(new _FileStream.forStdin());
|
| + return new Stdin._(new _FileStream.forStdin());
|
| default:
|
| throw new FileException("Unsupported stdin type");
|
| }
|
| @@ -39,6 +39,10 @@ patch class _StdIOUtils {
|
| }
|
| }
|
|
|
| +patch class Stdin {
|
| + /* patch */ int readByteSync() native "Stdin_ReadByte";
|
| +}
|
| +
|
|
|
| _getStdioHandle(_NativeSocket socket, int num) native "Socket_GetStdioHandle";
|
| _getStdioHandleType(int num) native "File_GetStdioHandleType";
|
|
|