On Tue, 20 Mar 2007 16:03:06 -0400
Jan Harkes <jaharkes_at_cs.cmu.edu> wrote:

> venus does not perform the unmount, you have to explicitly run, umount
> /coda. I often run umount before shutting down venus, that way if some
> application still had an active reference I can still save and shut it
> down cleanly which is not possible if venus exits before the filesystem
> is unmounted.

Of course, you are right and that's what venus does.
I was thinking about something else and for a few hours I completely
forgot about the concept of umounting /coda.

-doc