write_file(file, str)
string file, str;

Append the string 'str' into the file 'file'.

See also: efun/file_size efun/cat efun/log_file
