On Wed, Oct 18, 2000 at 01:52:25AM -0400, Roland McGrath wrote:
> In oskit-mach, device_close is a no-op and releasing the last send right to
> the port returned by device_open is what closes the device. Then there is
> nothing extra to worry about, even in case of untimely death of translator.
> So there.
That's great. So should we just wait for this bug to vanish, or consider
doing it semantically correct anyway? [The answer might be the same as to
the question "does anybody worry enough to provide a patch?"]
Marcus
--
`Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server
Marcus Brinkmann GNU http://www.gnu.org for public PGP Key
[EMAIL PROTECTED], [EMAIL PROTECTED] PGP Key ID 36E7CD09
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/ [EMAIL PROTECTED]
_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd
