core/loggingmanager.lua
changeset 7139 6c3a33e54399
parent 7138 0b614b7333f1
child 7140 4a5619a87b44
--- 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;