From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <acfb0058f6d884726ff185c0397a7afe@mightycheese.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] unmount
From: "rob pike, esq." <rob@mightycheese.com>
In-Reply-To: <1b3fe87cf5edd5de4fb773acd0a96244@vitanuova.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Mon, 24 Feb 2003 12:08:05 -0800
Topicbox-Message-UUID: 70d87c98-eacb-11e9-9e20-41e7f4b1d025

every mount has a 'mountid' and this is actually returned by the
mount system call.  never came up with a good way to use them,
but it would be trivial to make an unmount system call that used
the id.

-rob