Next: poptarget procedure, Previous: unset_currtarget_info procedure, Up: target database library file
This makes the target named name be the current target
connection. The value of name is an index into the
target_info
array and is set in the global config file.
push_target{name}
name
The name of the target to make current connection.