Re: io_close proposal

[Thomas Bushnell, BSG]

Marcus Brinkmann <address@hidden> writes:

> Another idea: The actual number of extinct send rights (instead just a
> boolean) could be helpful.  If the server would get the exact number, and
> it would be 1 (assuming the user does not transfer the send right),
> he would know that the send right used to send the message was the only
> one, and he could just go forward and destroy the port.
> But I don't think this solution (if it is one) is very elegant.

You mean the number of extant send rights.  Mach will give you this
information, but it is never reliable for this kind of purpose.  It
might be two when you call, and immediately one after that.