185 |
|
|
186 |
# Make a DOS batch file; we use @echo off so we don't have to see |
# Make a DOS batch file; we use @echo off so we don't have to see |
187 |
# the DOS command prompts and such. |
# the DOS command prompts and such. |
188 |
for { set i 0; } { $i < 2 } { incr i } { |
for { set i 0 } { $i < 2 } { incr i } { |
189 |
set exit_status -1 |
set exit_status -1 |
190 |
verbose "calling open" |
verbose "calling open" |
191 |
set batfile [dos_prep_command $dest "$cmdline$inp$outpf"] |
set batfile [dos_prep_command $dest "$cmdline$inp$outpf"] |
222 |
set shell_prompt [board_info $dest shell_prompt] |
set shell_prompt [board_info $dest shell_prompt] |
223 |
set prefix "" |
set prefix "" |
224 |
set ok 0 |
set ok 0 |
225 |
for {set i 0;} {$i <= 2 && ! $ok} {incr i;} { |
for { set i 0 } {$i <= 2 && ! $ok} { incr i } { |
226 |
set shell_id [remote_open $dest] |
set shell_id [remote_open $dest] |
227 |
if { $shell_id != "" && $shell_id > 0 } { |
if { $shell_id != "" && $shell_id > 0 } { |
228 |
remote_send $dest "echo k\r" |
remote_send $dest "echo k\r" |
287 |
verbose "running $program on $dest" |
verbose "running $program on $dest" |
288 |
set remotebat [dos_prep_command $dest $program] |
set remotebat [dos_prep_command $dest $program] |
289 |
|
|
290 |
for { set x 0; } { $x < 3 } { incr x } { |
for { set x 0 } { $x < 3 } { incr x } { |
291 |
if { [dos_start_command $remotebat $dest] == "" } { |
if { [dos_start_command $remotebat $dest] == "" } { |
292 |
return [board_info $dest fileid] |
return [board_info $dest fileid] |
293 |
} |
} |