37 |
} |
} |
38 |
|
|
39 |
set shell_prompt "Password:" |
set shell_prompt "Password:" |
40 |
set shell_id [remote_open target]; |
set shell_id [remote_open target] |
41 |
if [target_info exists passwd] { |
if [target_info exists passwd] { |
42 |
set passwd [target_info passwd]; |
set passwd [target_info passwd] |
43 |
} else { |
} else { |
44 |
set passwd ""; |
set passwd "" |
45 |
} |
} |
46 |
if $shell_id<0 then { |
if $shell_id<0 then { |
47 |
warning "Couldn't connect to target" |
warning "Couldn't connect to target" |
95 |
global errorCode |
global errorCode |
96 |
|
|
97 |
if [board_info $dest exists fileid] { |
if [board_info $dest exists fileid] { |
98 |
set shell_id [board_info $dest fileid]; |
set shell_id [board_info $dest fileid] |
99 |
} else { |
} else { |
100 |
set shell_id -1; |
set shell_id -1 |
101 |
} |
} |
102 |
|
|
103 |
set output "" |
set output "" |
210 |
# |
# |
211 |
|
|
212 |
proc ${board}_exit {} { |
proc ${board}_exit {} { |
213 |
remote_close target; |
remote_close target |
214 |
} |
} |