diff options
Diffstat (limited to 'config/base-config.exp')
-rw-r--r-- | config/base-config.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/base-config.exp b/config/base-config.exp index 35fde19..2961d9e 100644 --- a/config/base-config.exp +++ b/config/base-config.exp @@ -22,11 +22,11 @@ # success, 0 otherwise. # proc reboot_via_x10 { dest } { - if [board_info $dest exists name] { + if {[board_info $dest exists name]} { set dest [board_info $dest name] } - if [board_info $dest exists x10] { + if {[board_info $dest exists x10]} { set x10 [board_info $dest x10] verbose "rebooting x10 unit $x10" 1 rsh_exec rtl "/usr/unsupported/bin/x10-hellcab unit $x10 off" |