# HG changeset patch # User Waqas Hussain # Date 1505063604 14400 # Node ID 325371632fe6ae9d58a752908b1d716216e374f6 # Parent 3463d82276def0fa492aca66ab721c40af2fde31 loggingmanager: Slight cleanup and optimization of file sink diff -r 3463d82276de -r 325371632fe6 core/loggingmanager.lua --- a/core/loggingmanager.lua Sun Sep 10 13:05:45 2017 -0400 +++ b/core/loggingmanager.lua Sun Sep 10 13:13:24 2017 -0400 @@ -194,14 +194,15 @@ -- Column width for "source" (used by stdout and console) local sourcewidth = sink_config.source_width; - return function (name, level, message, ...) - if sourcewidth then + if sourcewidth then + return function (name, level, message, ...) sourcewidth = math_max(#name+2, sourcewidth); - name = name .. rep(" ", sourcewidth-#name); - else - name = name .. "\t"; + write(logfile, timestamps and os_date(timestamps) or "", name, rep(" ", sourcewidth-#name), level, "\t", format(message, ...), "\n"); end - write(logfile, timestamps and os_date(timestamps) or "", name, level, "\t", format(message, ...), "\n"); + else + return function (name, level, message, ...) + write(logfile, timestamps and os_date(timestamps) or "", name, "\t", level, "\t", format(message, ...), "\n"); + end end end log_sink_types.file = log_to_file;