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