Previous: ref-iou-sfh-cst, Up: ref-iou-sfh [Contents][Index]
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.
flush_output(Stream)
sends all data in the output buffer to stream Stream.
See mpg-ref-flush_output.