file_text_close(fileid)

fileid = the id of the file returned by file_text_open_read, file_text_open_write or file_text_open_append

 

Closes the file you were reading or writing to. It is important to remember to close the file when you don't need it any more.

 

Example

file_text_close(file1);

 

Ari - Revision #'1