On Mon, May 07, 2001 at 11:19:08PM -0700, Thomas Bushnell, BSG wrote: > The host port will > stay around always and forever, no matter how many or how few there > references there are, and there is no such thing as a "port leak" of > references to the host port, because the host port protocol does not > expect its users to keep track of the references. I see. So I will not submit any patches to how mach_host_self() is used currently. Ah well, the glory undocumented details[1]. I am just happy we have the source and you ;) Thanks, Marcus [1] Not much longer. I will keep notes of all this. -- `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
- Re: mach_host_self() doesn't acquire new port name?! Roland McGrath
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann
- Re: mach_host_self() doesn't acquire new port name?! Roland McGrath
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann
- Re: mach_host_self() doesn't acquire new port name?! Roland McGrath
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann
- Re: mach_host_self() doesn't acquire new port name?! Thomas Bushnell, BSG
- Re: mach_host_self() doesn't acquire new port name?! Thomas Bushnell, BSG
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann
- Re: mach_host_self() doesn't acquire new port name?! Thomas Bushnell, BSG
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann
- Re: mach_host_self() doesn't acquire new port name?! Thomas Bushnell, BSG
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann
- Re: mach_host_self() doesn't acquire new port name?! Thomas Bushnell, BSG
- Re: mach_host_self() doesn't acquire new port name?! Marcus Brinkmann