changeset 1613 | ebf0813a81f6 |
parent 1522 | 569d58d21612 |
child 1892 | adc0c80413ee |
--- a/core/loggingmanager.lua Tue Jul 28 14:48:37 2009 +0100 +++ b/core/loggingmanager.lua Tue Jul 28 15:03:42 2009 +0100 @@ -222,7 +222,7 @@ local timestamps = config.timestamps; - if timestamps == true then + if timestamps == nil or timestamps == true then timestamps = default_timestamp; -- Default format end