Description
Flushes buffered output.
Information
Flushing is an operation that removes the data remaining in the write buffer. For example, if the standard output is connected to other commands through a pipe, flushing is needed to immediately have the destination receive the output data.
Synopsis
flush channelIDOption
Specify the channel ID acquiired as the return value from the open command. Specifying stdout and stderr flushes the buffered output to the standard output and standard error output.
Example
The following example writes data to the standard output and flushes it.
puts stdout $Data flush stdout