FlushOutput

Implements ISO's flush_output/1: forces buffered writes on the output stream identified by the argument (an alias or $stream(...) term) to reach their destination.

Throws

if it does not identify an open channel.

(stream_type) if it identifies an input channel instead.

Fails, rather than erroring, if the channel is closed.

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard