From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu, 21 Nov 1996 11:41:12 +0000
From: miller@hamnavoe.demon.co.uk miller@hamnavoe.demon.co.uk
Subject: unmounting
Topicbox-Message-UUID: 52838d26-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19961121114112.KKtyLCKrCGtvYdP9-SbzpF24ThEirOMxROxnGsnpSfY@z>

A clue to the reason why 

	bind -a '#|' /net
	unmount '#|' /net

gives the result

	unmount: not in union

can be found by performing the experiment

	ls -qd '#c'; ls -qd '#c'; ls -qd '#|'; ls -qd '#|'

which gives the result

	80000000 0 .
	80000000 0 .
	80002e00 0 pipe
	80002e40 0 pipe

Note that the qid (which uniquely identifies a file on a given server)
is consistent for the console device, but different each time for the
pipe device.  Each reference to '#|' is creating a new pipe, which
is why the unmount doesn't work -- the '#|' in the unmount command 
refers to a different file from the '#|' in the mount command.

-- Richard Miller