Re: Channel closed N N

[Rolf-Thomas Happe <rthappe@mathematik.uni-freiburg.de>]

Michal =?iso-8859-2?q?Maru=B9ka?= writes:

> 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.

You can, if the return value of the RECEIVE block doesn't matter,
finally (CLOSE PORT), otherwise you may prefer to
(CLOSE-AFTER PORT (LAMBDA (PORT) (OPERATE-ON PORT))), like so:

  (receive (port child) (run/port+proc (diff -rq ,dir ,master))
    (close-after port (lambda (ip) (port->string ip))))

rthappe