From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mta01.eonet.ne.jp ([203.140.81.21]) by ttr; Sun Aug 10 18:56:13 EDT 2014
Received: from saturn.jitaku.localdomain (112-71-5-242f1.osk3.eonet.ne.jp [112.71.5.242])
	by mailmsa12.mozu.eo.k-opti.ad.jp  with ESMTP id s7AMu6YB011337
	for <9front@9front.org>; Mon, 11 Aug 2014 07:56:07 +0900
To: 9front@9front.org
Subject:  Re: [9front] Thank you very much
Date: Mon, 11 Aug 2014 07:55:57 +0900
From: kokamoto@hera.eonet.ne.jp
Message-ID: <6c35a589d1d875501f4e5af42c9ff0f3@saturn.jitaku.localdomain>
List-ID: <9front.9front.org>
X-Glyph: ➈
X-Bullshit: agile base-scale high-performance CSS out-scaling callback database
In-Reply-To: <C2330FAE-49AF-49C7-9E25-624701354B73@ar.aichi-u.ac.jp>
References: <97c069d694a0062aa16cb06de27a0de6@felloff.net>
	<C2330FAE-49AF-49C7-9E25-624701354B73@ar.aichi-u.ac.jp>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

> we already have that.
> look http://plan9.aichi-u.ac.jp/netlib/cwfs/

I checked your documentation, and decided not to apply it for me,
instead, to change the hard coded 5 to 20...
To have the time in Plan9.ini seems to me not so good.   

I expected at first to have config menu of changing the autodump time.   
This may avoid the updating problem, which I have, in case 
of hard coded local change.

Kenji