From a65ad71fad024153ecaec7bd5b4118d2aca881bd Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 7 Sep 2009 20:49:35 +0000 Subject: [PATCH] clarification on closing pipe ports svn: r15903 --- collects/scribblings/reference/pipes.scrbl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/reference/pipes.scrbl b/collects/scribblings/reference/pipes.scrbl index c51b8366d9..4d374d58dd 100644 --- a/collects/scribblings/reference/pipes.scrbl +++ b/collects/scribblings/reference/pipes.scrbl @@ -14,8 +14,9 @@ between different processes. Returns two port values: the first port is an input port and the second is an output port. Data written to the output port is read from -the input port, with no intermediate buffering. The ports do not need -to be explicitly closed. +the input port, with no intermediate buffering. Unlike some other +kinds of ports, pipe ports do not need to be explicitly closed to be +reclaimed by @seclink["gc-model"]{garbage collection}. If @scheme[limit] is @scheme[#f], the new pipe holds an unlimited number of unread bytes (i.e., limited only by the available