unbuffer_file (file)
A file pointer to a previously opened file. This may only be a file in the file system, and not a string opened for read and write.
This function causes a file to be treated as unbuffered on both input and output. The normal buffering mode of a file depends on whether it is in the file system, or to a character device such as a terminal or console.
When the file is unbuffered, all input and output to that file will occur immediately, without going through internal buffers. In general, an unbuffered file is much less efficient for file I/O. Unbuffering is temporary, as the file will revert to a buffered state when it is closed or reopened.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.