From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <53E4A6C8.2040902@mailinator.com>
Date: Fri,  8 Aug 2014 11:30:32 +0100
From: Porlock <porlock@mailinator.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:31.0) Gecko/20100101 Thunderbird/31.0
MIME-Version: 1.0
To: 9fans@9fans.net
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [9fans] Fileserver doesn't exit when it should
Topicbox-Message-UUID: 0d19a818-ead9-11e9-9d60-3106f5b1d025

Here is some behaviour which I don't understand.  Something seems to be
preventing a fileserver process from exiting (since it doesn't receive
end-of-file on its 9p pipe).

To see this, open a new rio window and enter the following commands :-

ramfs -m /n/junk
cp /bin/echo /n/junk
/n/junk/echo hello
unmount /n/junk

Now try to close the rio window, by typing ^D at the prompt.  The
window will not close.  Further, the ramfs server is still running.
It must be killed manually (from another window), and then the window
will close.

I don't think this has anything to do with ramfs, since I tried the
same commands with a completely different ram filesystem server, and
it exhibited the same behaviour.

This behaviour doesn't happen on 9front, which behaves as you would
expect, with the file server exiting on unmount, and the window
closing on ^D.