projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa1951e) | patch
Change CLOSE-PORT to close the output side of an I/O port before it
authorChris Hanson <org/chris-hanson/cph>
Fri, 21 Apr 1995 19:58:06 +0000 (19:58 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 21 Apr 1995 19:58:06 +0000 (19:58 +0000)
commitce17a5ade0126c6b8d8ed4e07540e219fe15c8b4
tree48cff83d6ca949970fdb931b90258ac803c99f25tree | snapshot
parentfa1951e0945d7ff713a3506923c5578e5d904565commit | diff
Change CLOSE-PORT to close the output side of an I/O port before it
closes the input side.  This matters when the same file channel is
shared by both sides, and there is buffered data that must be flushed
before the close.
v7/src/runtime/genio.scm diff | blob | history
MIT/GNU Scheme, Pucked