Index: runtime/bin/stdio_patch.dart |
diff --git a/runtime/bin/stdio_patch.dart b/runtime/bin/stdio_patch.dart |
index 941ae374af38f04c8c28d33354704039156be6bf..c90e557c1648402405ef128ac714534079afe959 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 _Socket._readPipe(0); |
+ return new _Stdin(new _Socket._readPipe(0)); |
case _STDIO_HANDLE_TYPE_FILE: |
- return new _FileStream.forStdin(); |
+ return new _Stdin(new _FileStream.forStdin()); |
default: |
throw new FileIOException("Unsupported stdin type"); |
} |
@@ -22,9 +22,9 @@ patch class _StdIOUtils { |
case _STDIO_HANDLE_TYPE_TERMINAL: |
case _STDIO_HANDLE_TYPE_PIPE: |
case _STDIO_HANDLE_TYPE_SOCKET: |
- return new _Socket._writePipe(fd); |
+ return new _StdSink(new _Socket._writePipe(fd)); |
case _STDIO_HANDLE_TYPE_FILE: |
- return new IOSink(new _FileStreamConsumer.fromStdio(fd)); |
+ return new _StdSink(new IOSink(new _FileStreamConsumer.fromStdio(fd))); |
default: |
throw new FileIOException("Unsupported stdin type"); |
} |