# HG changeset patch # User Matthew Wild # Date 1254670893 -3600 # Node ID adc0c80413ee7c29a754e48ec0a4bfedc58ab174 # Parent fd725a28141dffae8e949ffb79107cca174e4fb7 loggingmanager: Whitespace fix diff -r fd725a28141d -r adc0c80413ee core/loggingmanager.lua --- a/core/loggingmanager.lua Sun Oct 04 16:40:24 2009 +0100 +++ b/core/loggingmanager.lua Sun Oct 04 16:41:33 2009 +0100 @@ -187,6 +187,7 @@ return function (name, level, message, ...) sourcewidth = math_max(#name+2, sourcewidth); local namelen = #name; + if timestamps then io_write(os_date(timestamps), " "); end