remote_download procedure

remote_download Procedure

Download a file to a destination machine. This procedure returns either an empty string (indicating failure) or the name of the file on the destination macine.

remote_download dest file args

dest

Destination machine name.

file

Filename.

args

If the optional destination filename is specified, that filename will be used on the destination machine.