Re: [9fans] several things

[erik quanstrom <quanstro@quanstro.net>]

 * 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