NAME

flush - flush output buffer for file 'fd'


SYNOPSIS

call flush (fd)

filedes fd



DESCRIPTION

Flush assures that any remaining characters in the output buffer
of the file specified by "fd" are sent out to the file.
It is useful for sending lines to a teletype-like device without
requiring a NEWLINE character, and also for flushing buffers
after calls to "writef".


IMPLEMENTATION

It is expected that most software tools installations will employ
some form of buffered I/O.
Flush is intended to define the buffer-clearing operation that
takes place before file closing, and to provide a means of
insuring that output directed to a terminal has appeared
on that terminal (e.g. before obtaining some input after
a prompt).
On systems with unbuffered I/O, flush is a no-op.


SEE ALSO

prompt, writef, putch, putlin


DIAGNOSTICS

None