diff options
author | Ben Elliston <bje@gnu.org> | 2006-06-14 00:41:01 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2006-06-14 00:41:01 +0000 |
commit | 00f38dcd2828d39d9016cd23a690e5a9f20fb2c1 (patch) | |
tree | ee7d027a1c8eecc4623283fa8711ea207cc4b955 /lib/remote.exp | |
parent | 3f5ac97eaccc317adf5bbdbe34771261a01420f4 (diff) | |
download | dejagnu-00f38dcd2828d39d9016cd23a690e5a9f20fb2c1.zip dejagnu-00f38dcd2828d39d9016cd23a690e5a9f20fb2c1.tar.gz dejagnu-00f38dcd2828d39d9016cd23a690e5a9f20fb2c1.tar.bz2 |
* rsh.exp (rsh_exec): Handle inp and outp arguments. Use
local_exec to run rsh. Return failure if rsh times out.
* remote.exp (local_exec): Handle "|& cat" we added when deciding
whether to return output.
Diffstat (limited to 'lib/remote.exp')
-rw-r--r-- | lib/remote.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/remote.exp b/lib/remote.exp index 4ccdb6f..4de8900 100644 --- a/lib/remote.exp +++ b/lib/remote.exp @@ -208,8 +208,8 @@ proc local_exec { commandline inp outp timeout } { } else { set status 0 } - verbose "output is $output" - if { $outp == "" } { + verbose "output is $output status $status" + if { $outp == "" || $outp == "|& cat" } { return [list $status $output] } else { return [list $status ""] |