From 937cc307d505c4e2c6fdb15e55dd0e9e662f7641 Mon Sep 17 00:00:00 2001 From: mainzelm Date: Thu, 8 Nov 2001 08:35:19 +0000 Subject: [PATCH] Fixed docu for run/collecting. --- doc/scsh-manual/procnotation.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/scsh-manual/procnotation.tex b/doc/scsh-manual/procnotation.tex index 42d7e76..5192571 100644 --- a/doc/scsh-manual/procnotation.tex +++ b/doc/scsh-manual/procnotation.tex @@ -348,7 +348,7 @@ some port, where the seed values express the loop state. \remark{This procedure was formerly named \texttt{\indx{reduce-port}}. The old binding is still provided, but is deprecated and will - probably vanish in a future release.} + probably vanish in a future release.} \end{desc} @@ -396,8 +396,8 @@ streams from a process. For instance, he may wish to read the stdout and stderr streams into two distinct strings. This is accomplished with the \ex{run/collecting} form and its analogous procedure, \ex{run/collecting*}. % -\dfn {run/collecting} {fds . epf} {[port\ldots]} {syntax} -\defunx {run/collecting*} {fds thunk} {[port\ldots]} +\dfn {run/collecting} {fds . epf} {[status port\ldots]} {syntax} +\defunx {run/collecting*} {fds thunk} {[status port\ldots]} \begin{desc} \ex{Run/collecting} and \ex{run/collecting*} run processes that produce multiple output streams and return ports open on these streams. To avoid