CloseFile - Close a file
CloseFile channel [filename]
Close the file currently open on channel channel. If there is an error it will be reported to the user - if the filename filename is given then this will also be reported to the user.