flush_writer(s = current_writer())
Force any bytes or characters in the buffer associated with the output-stream s to be sent immediately to the underlying stream. Return void.
s
void
Core Module Index | Contents