Line 29... |
Line 29... |
|
|
# @param[in] boardname The board being closed.
|
# @param[in] boardname The board being closed.
|
# -----------------------------------------------------------------------------
|
# -----------------------------------------------------------------------------
|
proc telnet_close {hostname} {
|
proc telnet_close {hostname} {
|
|
|
|
verbose "telnet_close: hostname $hostname" 3
|
|
|
# Get the connected host name, if it exists (actually, we think this can
|
# Get the connected host name, if it exists (actually, we think this can
|
# never be set, but it is for consistency with telnet_open
|
# never be set, but it is for consistency with telnet_open
|
if {[board_info $hostname exists name]} {
|
if {[board_info $hostname exists name]} {
|
set connhost [board_info $hostname name]
|
set connhost [board_info $hostname name]
|
} else {
|
} else {
|
set connhost $hostname
|
set connhost $hostname
|
}
|
}
|
|
|
|
if [board_info $connhost exists hostname] {
|
|
set hostname [board_info $connhost hostname]
|
|
}
|
|
|
# Use the standard close proc from remote.exp
|
# Use the standard close proc from remote.exp
|
standard_close $hostname
|
standard_close $connhost
|
}
|
}
|
|
|
|
|
# -----------------------------------------------------------------------------
|
# -----------------------------------------------------------------------------
|
# Custom proc to exec programs using telnet
|
# Custom proc to exec programs using telnet
|
Line 109... |
Line 115... |
}
|
}
|
default {
|
default {
|
# No response try closing the connection and reopening.
|
# No response try closing the connection and reopening.
|
telnet_close $hostname
|
telnet_close $hostname
|
if {[telnet_open $hostname] != -1} {
|
if {[telnet_open $hostname] != -1} {
|
verbose "started new telnet session, spawn_id is [board_info
|
verbose "problem: hostname is \"$hostname\""
|
$hostname fileid]"
|
verbose "started new telnet session, spawn_id is [board_info $hostname fileid]"
|
send -- "\r"
|
send -- "\r"
|
exp_continue
|
exp_continue
|
} else {
|
} else {
|
set timeout $old_timeout
|
set timeout $old_timeout
|
return [list -1 "telnet to $hostname failed for $cmd, couldn't get
|
return [list -1 "telnet to $hostname failed for $cmd, couldn't get
|