OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // | 4 // |
5 // Utility script to echo stdin to stdout or stderr or both. | 5 // Utility script to echo stdin to stdout or stderr or both. |
6 | 6 |
| 7 #import("dart:io"); |
| 8 |
7 main() { | 9 main() { |
8 var options = new Options(); | 10 var options = new Options(); |
9 if (options.arguments.length > 0) { | 11 if (options.arguments.length > 0) { |
10 if (options.arguments[0] == "0") { | 12 if (options.arguments[0] == "0") { |
11 stdin.dataHandler = () => stdout.write(stdin.read()); | 13 stdin.dataHandler = () => stdout.write(stdin.read()); |
12 } else if (options.arguments[0] == "1") { | 14 } else if (options.arguments[0] == "1") { |
13 stdin.dataHandler = () => stderr.write(stdin.read()); | 15 stdin.dataHandler = () => stderr.write(stdin.read()); |
14 } else if (options.arguments[0] == "2") { | 16 } else if (options.arguments[0] == "2") { |
15 stdin.dataHandler = () { | 17 stdin.dataHandler = () { |
16 var data = stdin.read(); | 18 var data = stdin.read(); |
17 stdout.write(data); | 19 stdout.write(data); |
18 stderr.write(data); | 20 stderr.write(data); |
19 }; | 21 }; |
20 } | 22 } |
21 } | 23 } |
22 } | 24 } |
OLD | NEW |