When closing a port, don't try to flush output if the channel is
authorChris Hanson <org/chris-hanson/cph>
Thu, 27 May 2004 16:06:31 +0000 (16:06 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 27 May 2004 16:06:31 +0000 (16:06 +0000)
commitfc36267f6f2ccb74f9a0fd139553641aa2b2a308
treee295a7da24b264472a524dcc371adcaf0828e52f
parentd24d870a912487400e1fe0f9afffa66962e22b5b
When closing a port, don't try to flush output if the channel is
already closed.
v7/src/runtime/genio.scm