779 |
# |
# |
780 |
# The default spawn procedure. Uses rsh to connect to $dest. |
# The default spawn procedure. Uses rsh to connect to $dest. |
781 |
# |
# |
782 |
proc standard_spawn { dest commandline } { |
proc standard_spawn { dest commandline args } { |
783 |
global board_info |
global board_info |
784 |
|
|
785 |
if ![board_info $dest exists rsh_prog] { |
if ![board_info $dest exists rsh_prog] { |
795 |
if ![board_info $dest exists username] { |
if ![board_info $dest exists username] { |
796 |
set rsh_useropts "" |
set rsh_useropts "" |
797 |
} else { |
} else { |
798 |
set rsh_useropts "-l $username" |
set rsh_useropts "-l [board_info $dest username]" |
799 |
} |
} |
800 |
|
|
801 |
if [board_info $dest exists hostname] { |
if [board_info $dest exists hostname] { |
804 |
set remote $dest; |
set remote $dest; |
805 |
} |
} |
806 |
|
|
807 |
spawn $RSH $rsh_useropts $remote $commandline; |
# spawn $RSH $rsh_useropts $remote $commandline; |
808 |
|
spawn "/bin/sh" "-c" "$RSH $rsh_useropts $remote \"$commandline\""; |
809 |
set board_info($dest,fileid) $spawn_id; |
set board_info($dest,fileid) $spawn_id; |
810 |
return $spawn_id; |
return $spawn_id; |
811 |
} |
} |