flush - Flush buffered output for a file
flush fileId
Flushes any output that has been buffered for fileId.
FileId must have been the return
value from a previous call to open, or it may be
stdout or stderr to access one of the standard I/O streams;
it must refer to a file that was opened for writing.
The command returns an empty string.
buffer, file, flush, output
Copyright © 1993 The Regents of the University of California.
Copyright © 1994 Sun Microsystems, Inc.
Copyright © 1995 Roger E. Critchlow Jr.