flush_output(Stream)

Flushes  the  output  buffer for the specified stream and thus ensures that
everything  written  to the stream is sent at that point.  Stream must be a
stream open for output.
