From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: To: 9fans@cse.psu.edu Subject: Re: [9fans] 'wall' messages From: Charles Forsyth In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Date: Wed, 8 Oct 2003 22:53:42 +0100 Topicbox-Message-UUID: 67db55b0-eacc-11e9-9e20-41e7f4b1d025 you might think to notify people that the cpu server is going down by having it access devices imported from the terminal, but don't forget that the file server has no such access, and in many ways it's far more serious to have the file server go away. most reasonable solutions to the latter will deal with the former, including some of those suggested so far.