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;