Render format date more often

This commit is contained in:
hns 2002-11-14 17:35:16 +00:00
parent 0030004f37
commit 0f84163d78

View file

@ -127,8 +127,8 @@ public final class Logger {
// if we are closed, drop message without further notice // if we are closed, drop message without further notice
if (closed) if (closed)
return; return;
// it's enough to render the date every 15 seconds // it's enough to render the date every 5 seconds
if (System.currentTimeMillis () - 15000 > dateLastRendered) if (System.currentTimeMillis () - 5000 > dateLastRendered)
renderDate (); renderDate ();
entries.add (dateCache + msg); entries.add (dateCache + msg);
} }