Re: io_close proposal

[Thomas Bushnell, BSG]

Marcus Brinkmann <address@hidden> writes:

> Sorry, I was not being clear.  I was arguing here against the idea of
> sending the io_close _without sending the port right along with the
> message_, which is a different idea from the one I originally proposed.

Ah, quite right, yes.  The send right must get actually sent (by
MOVE_SEND) along with the message.  Of course, there's no way for the
server to know how it was sent, but that's not important.