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