From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: From: erik quanstrom Date: Tue, 28 Jul 2009 18:16:23 -0400 To: 9fans@9fans.net In-Reply-To: <4617.1248819296@lunacy.ugrad.cs.cmu.edu> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Subject: Re: [9fans] how to fix: 'arena arenas00 creation time after last write time' Topicbox-Message-UUID: 3068525a-ead5-11e9-9d60-3106f5b1d025 On Tue Jul 28 18:16:08 EDT 2009, davide+p9@cs.cmu.edu wrote: > > The right fix is probably to comment out the print in venti > > and move on, which you have already done. > > I'd suggest: if the time is off by more than 24 hours, warn once. > That will mean timezone problems will be silently ignored, but > something "really odd" will still make it presence known. ignoring little bugs is the path to ruin. - erik