On Thu, Dec 20, 2001 at 07:24:04PM +0100, Niels Möller wrote: > A side effect is that the receiver gets the power to unilaterally > revoke any send right of its choice. This may be natural, but I'm not > sure the receiver has that power in Mach.
I don't think so. In fact, if you have a send right you can copy it without notifying the receiver. I don't know if there is any problem allowing it, though. The closest you can come to in Mach is to destroy the port by deallocating the receive right. All send rights turn into dead rights then. Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org [EMAIL PROTECTED] Marcus Brinkmann GNU http://www.gnu.org [EMAIL PROTECTED] [EMAIL PROTECTED] http://www.marcus-brinkmann.de _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
