* This comment might belong somewhere else. > > in the namespace (see the result of the 'ns' command; there you can > > also spot that after issueing the 'mntgen' command a line > > 'bind /usr/ruda/a /usr/ruda/a/' appears; that relates to my 4th > > question; this bind is the one removed by the 'unmount' command). > > How can I get rid of that then? > > Delete the namespace by closing the window.
i believe the answer to the original question is, you can't. closing a window can delete a namespace, but there's more to the story. namespaces aren't tied to rio windows. they're tied to processes. (see rfork(2).) namespaces are garbage collected. when the last process / chan with a reference to a namespace exits, the namespace is reclaimed. deleting a rio window *can* be a special case of this. (cf. the non-closing rio window discussion.) > You just found a bug; congratulations. this is not a bug. inaccessable bits are not pruned from the namespace. maybe that is counter to your expectations, but that doesn't make it a bug. it would be a serious security problem if you could unbind inaccessable bits from your namespace. this would imply you could access them. - erik
