11.3.80 flush_output/[0,1] [ISO]

Synopsis

flush_output

flush_output(+Stream)

Forces the buffered output of the stream Stream (defaults to the current output stream) to be sent to the associated device.

Arguments

Stream

stream_object, must be ground

A valid Prolog stream, defaults to the current output stream.

Description

Sends the current buffered output of an output stream Stream to the actual output device, which is usually a disk or a tty device.

Exceptions

Stream errors (see ref-iou-sfh-est), plus:

permission_error

An error occurred in flushing out the buffered output.

Examples

See Also

ref-iou-sfh.