From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <a2e76b73130e465f7bcd9dffd158f709@granite.cias.osakafu-u.ac.jp>
To: okamoto@granite.cias.osakafu-u.ac.jp, 9fans@cse.psu.edu
Subject: Re: [9fans] Venti for Fossil
From: okamoto@granite.cias.osakafu-u.ac.jp
MIME-Version: 1.0
Mime-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Wed, 30 Jul 2003 13:55:56 +0900
Topicbox-Message-UUID: 0b01d9f4-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