9fans archive / 1996 / 11 / 54 /    prev next

From: miller@ham... miller@ham...
Subject: unmounting
Date: Thu, 21 Nov 1996 11:41:12 GMT

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