27 |
set doing_ddb_init 1 |
set doing_ddb_init 1 |
28 |
|
|
29 |
remote_close $dest |
remote_close $dest |
30 |
for { set x 0; } { $x < 3 } { incr x; } { |
for { set x 0 } { $x < 3 } { incr x } { |
31 |
set shell_id [remote_open $dest] |
set shell_id [remote_open $dest] |
32 |
if { $shell_id == "" || $shell_id < 0 } { |
if { $shell_id == "" || $shell_id < 0 } { |
33 |
remote_reboot $dest |
remote_reboot $dest |
54 |
} |
} |
55 |
|
|
56 |
proc ddb_ether_load { dest prog args } { |
proc ddb_ether_load { dest prog args } { |
57 |
for { set x 0; } { $x < 3 } { incr x } { |
for { set x 0 } { $x < 3 } { incr x } { |
58 |
set result [eval remote_spawn \{$dest\} \{$prog\} $args] |
set result [eval remote_spawn \{$dest\} \{$prog\} $args] |
59 |
if { $result < 0 } { |
if { $result < 0 } { |
60 |
remote_reboot $dest |
remote_reboot $dest |