flush
f << flush
-- writes out any buffered output for the output file f.
See also
File
and
Manipulator
.
