core/loggingmanager.lua
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