diff options
Diffstat (limited to 'lib/tip.exp')
| -rw-r--r-- | lib/tip.exp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/tip.exp b/lib/tip.exp index d3b6ecd..3563660 100644 --- a/lib/tip.exp +++ b/lib/tip.exp @@ -28,18 +28,18 @@ proc tip_open { hostname } { set result -1 if {[board_info $hostname exists name]} { - set hostname [board_info ${hostname} name] + set hostname [board_info $hostname name] } - set port [board_info ${hostname} tipname] - if {[board_info ${hostname} exists shell_prompt]} { - set shell_prompt [board_info ${hostname} shell_prompt] + set port [board_info $hostname tipname] + if {[board_info $hostname exists shell_prompt]} { + set shell_prompt [board_info $hostname shell_prompt] } else { # Pick something reasonably generic. set shell_prompt ".*> " } - if {[board_info ${hostname} exists fileid]} { - unset board_info(${hostname},fileid) + if {[board_info $hostname exists fileid]} { + unset board_info($hostname,fileid) } spawn tip -v $port if { $spawn_id < 0 } { |