diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2019-11-09 13:29:20 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2019-11-09 15:51:09 +0100 |
commit | 01db294700a594b9b004855097b3bcfee9946d61 (patch) | |
tree | 09e6dc72351ca57273ea919b9ced1790b567601f /lib/domain/libimagtodo/src/iter.rs | |
parent | 7b6e5eafbaadd1cd898cd3cf78b7559b98d7af81 (diff) |
Add Runtime::input_is_pipe()
We need this because we might want to check whether we can get the STDIN
handle from the runtime or not.
In some (rare) cases, the runtime "thinks" that STDIN is a stream of
IDs, but it is not. So the client can check whether stdin is a pipe
(thus, whether Runtime thinks that there's a stream of IDs) and easily
work around that by taking ::std::io::stdin() itself.
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to 'lib/domain/libimagtodo/src/iter.rs')
0 files changed, 0 insertions, 0 deletions