4.6.7.10 Flushing Output

Output to a stream is not necessarily sent immediately; it is buffered. The predicate flush_output/1 flushes the output buffer for the specified stream and thus ensures that everything that has been written to the stream is actually sent at that point.


Send feedback on this subject.