Previous: standard_wait Procedure, Up: Procedures For Remote Communication
unix_clean_filename{dest file}
dest
file