Re: Channel closed N N

[mmc@maruska.dyndns.org (Michal Maruška)]

Rolf-Thomas Happe <rthappe@mathematik.uni-freiburg.de> writes:

> Reminder - probably superfluous, but anyway:  The CALL-WITH-INPUT/ 
> /OUTPUT-FILE procedures, when applicable, do these menial jobs 
> (open files, close ports) for you, serving both comfort and silence.

i know.
My construction is: (i hope this is the right one):
|  (receive (port child) (run/port+proc (diff -rq ,dir ,master))

I would like silence (optional), though.