chickadee
»
library
»
flush-output
Identifier search
flush-output
#!optional
PORT
procedure
Write buffered output to the given output-port.
PORT
defaults to the value of
(current-output-port)
.