From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <2f92eb2f7022ddf729f83debf74ed1b9@granite.cias.osakafu-u.ac.jp>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Venti for Fossil
From: okamoto@granite.cias.osakafu-u.ac.jp
In-Reply-To: <20030730065455.Z1666@cackle.proxima.alt.za>
MIME-Version: 1.0
Mime-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Thu, 31 Jul 2003 12:48:18 +0900
Topicbox-Message-UUID: 0b05f7dc-eacc-11e9-9e20-41e7f4b1d025

When I want to close venti or fossil server, I just kill those
processes?   I read venti/sync command, and I think I got it
right.

Kenji