| Index: runtime/bin/builtin.dart
|
| diff --git a/runtime/bin/builtin.dart b/runtime/bin/builtin.dart
|
| index 88498e1379ea260ad80816a177984fd3b1f2eb5c..e893e18d23f62ef8413d06ad61f5ba64ed2cddde 100644
|
| --- a/runtime/bin/builtin.dart
|
| +++ b/runtime/bin/builtin.dart
|
| @@ -19,7 +19,7 @@ Socket _stdin;
|
| OutputStream get stdin() {
|
| if (_stdin == null) {
|
| _stdin = new _Socket._internalReadOnly();
|
| - _stdin._id = 0;
|
| + _getStdioHandle(_stdin, 0);
|
| }
|
| return _stdin.inputStream;
|
| }
|
| @@ -28,7 +28,7 @@ Socket _stdout;
|
| OutputStream get stdout() {
|
| if (_stdout == null) {
|
| _stdout = new _Socket._internalWriteOnly();
|
| - _stdout._id = 1;
|
| + _getStdioHandle(_stdout, 1);
|
| }
|
| return _stdout.outputStream;
|
| }
|
| @@ -37,13 +37,15 @@ Socket _stderr;
|
| OutputStream get stderr() {
|
| if (_stderr == null) {
|
| _stderr = new _Socket._internalWriteOnly();
|
| - _stderr._id = 2;
|
| + _getStdioHandle(_stderr, 2);
|
| }
|
| return _stderr.outputStream;
|
| }
|
|
|
| _exit(int status) native "Exit";
|
|
|
| +_getStdioHandle(Socket socket, int num) native "Socket_GetStdioHandle";
|
| +
|
| class _Logger {
|
| static void _printString(String s) native "Logger_PrintString";
|
| }
|
|
|