/[dejagnu]/dejagnu/config/ddb.exp
ViewVC logotype

Diff of /dejagnu/config/ddb.exp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.4 by bje, Thu Aug 7 03:42:43 2003 UTC revision 1.5 by bje, Thu Aug 7 03:58:36 2003 UTC
# Line 41  proc ${board}_init { dest } { Line 41  proc ${board}_init { dest } {
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

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26