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.

_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd

Reply via email to