io.flush ()

Equivalent to file:flush over the default output file.