| Index: runtime/bin/stdio.dart
|
| ===================================================================
|
| --- runtime/bin/stdio.dart (revision 11416)
|
| +++ runtime/bin/stdio.dart (working copy)
|
| @@ -2,11 +2,11 @@
|
| // for details. All rights reserved. Use of this source code is governed by a
|
| // BSD-style license that can be found in the LICENSE file.
|
|
|
| -final int _STDIO_HANDLE_TYPE_TERMINAL = 0;
|
| -final int _STDIO_HANDLE_TYPE_PIPE = 1;
|
| -final int _STDIO_HANDLE_TYPE_FILE = 2;
|
| -final int _STDIO_HANDLE_TYPE_SOCKET = 3;
|
| -final int _STDIO_HANDLE_TYPE_OTHER = -1;
|
| +const int _STDIO_HANDLE_TYPE_TERMINAL = 0;
|
| +const int _STDIO_HANDLE_TYPE_PIPE = 1;
|
| +const int _STDIO_HANDLE_TYPE_FILE = 2;
|
| +const int _STDIO_HANDLE_TYPE_SOCKET = 3;
|
| +const int _STDIO_HANDLE_TYPE_OTHER = -1;
|
|
|
|
|
| InputStream _stdin;
|
|
|