Diff

core/loggingmanager.lua @ 7136:6c3a33e54399

loggingmanager: Make initial value for width of log name configurable
author Kim Alvefur <zash@zash.se>
date Thu, 04 Feb 2016 17:51:39 +0100
parent 7135:0b614b7333f1
child 7137:4a5619a87b44
line wrap: on
line diff
--- a/core/loggingmanager.lua	Thu Feb 04 17:49:09 2016 +0100
+++ b/core/loggingmanager.lua	Thu Feb 04 17:51:39 2016 +0100
@@ -219,7 +219,9 @@
 	if not sink_config.timestamps then
 		sink_config.timestamps = false;
 	end
-	sink_config.source_width = 20;
+	if sink_config.source_width == nil then
+		sink_config.source_width = 20;
+	end
 	return log_to_file(sink_config, stdout);
 end
 log_sink_types.stdout = log_to_stdout;