| // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| // 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. |
| // |
| // Utility script to echo stdin to stdout or stderr or both. |
| |
| // @dart = 2.9 |
| |
| import "dart:io"; |
| |
| main(List<String> arguments) { |
| if (stdioType(stdin) is! StdioType) exit(1); |
| if (stdioType(stdout) is! StdioType) exit(1); |
| if (stdioType(stderr) is! StdioType) exit(1); |
| if (stdioType(stdin).name != arguments[1]) { |
| throw stdioType(stdin).name; |
| } |
| if (stdioType(stdout).name != arguments[2]) { |
| throw stdioType(stdout).name; |
| } |
| if (stdioType(stderr).name != arguments[3]) { |
| throw stdioType(stderr).name; |
| } |
| if (arguments.length > 0) { |
| if (arguments[0] == "0") { |
| stdin.pipe(stdout); |
| } else if (arguments[0] == "1") { |
| stdin.pipe(stderr); |
| } else if (arguments[0] == "2") { |
| stdin.listen((data) { |
| stdout.add(data); |
| stderr.add(data); |
| }); |
| } |
| } |
| } |