41 |
if ![info exists doing_ddb_init] { |
if ![info exists doing_ddb_init] { |
42 |
set doing_ddb_init 1 |
set doing_ddb_init 1 |
43 |
|
|
44 |
for { set i 1; } { $i <= 3 } {incr i } { |
for { set i 1 } { $i <= 3 } { incr i } { |
45 |
remote_close $dest |
remote_close $dest |
46 |
for { set x 0; } { $x < 3 } { incr x; } { |
for { set x 0 } { $x < 3 } { incr x } { |
47 |
set shell_id [remote_open $dest] |
set shell_id [remote_open $dest] |
48 |
if { $shell_id == "" || $shell_id < 0 } { |
if { $shell_id == "" || $shell_id < 0 } { |
49 |
remote_reboot $dest |
remote_reboot $dest |