🚀 go-pugleaf

My machine is a Sun4/110, running SunOS 4.0.1.  I have the following type
of mount layout on my machine (along with some other remote mounts; /usr
is not in the list below):

server:/a	/a
server:/a/b	/a/b
server:/a/c	/a/c

Whenever I try to do things to any of these partitions I get back
	/a: Stale NFS file handle
or whatever the file I'm trying to access is called.

So, I wanted to unmount these filesystems and remount them.  No go.  When
I try to unmount the suckers, "umount -h server", I get back wonderful
messages telling me the file handle is Stale for /a/b and /a/c, and "/a:
Device busy".  No Sh*t!  That's why I'm trying to unmount the blasted
things.

So, how do I unmount these useless filesystems, short of rebooting my
machine?

Dave Cohrs
+1 608 262-6617                        UW-Madison Computer Sciences Department
dave@cs.wisc.edu                       ...!{harvard,rutgers,ucbvax}!uwvax!dave