Next: remote_exec Procedure, Previous: remote_close Procedure, Up: Procedures For Remote Communication
remote_download{dest file args}
dest
file
args