Re: [gnome-mud] #116325

On Tue, Sep 30, 2003 at 03:05:51PM +0200, Robin Ericsson wrote:
> > Wouldn't this be too much flushing? I'm just asking, not questioning the
> > change :)
> That's why I'm asking :)
> Maybe every 10th is better?

Or maybe time-based, every 10 or 15 seconds?

Jordi Mallach Pérez  --  Debian developer
jordi sindominio net     jordi debian org
GnuPG public key information available at

Attachment: signature.asc
Description: Digital signature

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]