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: References: <97c069d694a0062aa16cb06de27a0de6@felloff.net> 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