close (file)
A file pointer to a previously opened file. This may be either a file in the file system, or a string opened for read and write.
This function closes a previously opened file. It is not strictly necessary, as the file will be closed when the garbage collector recognizes that there are no references to the file, but it is extremely good policy. This function will close a string opened for reading and writing as well.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.