changeset 7135 | 3868d231c2c5 |
parent 7128 | 631c47a65519 |
child 7136 | ac142f5209d9 |
--- a/core/loggingmanager.lua Thu Feb 04 16:40:32 2016 +0100 +++ b/core/loggingmanager.lua Thu Feb 04 16:56:05 2016 +0100 @@ -154,7 +154,6 @@ default_file_logging = { { to = "file", levels = { min = (debug_mode and "debug") or "info" }, timestamps = true } }; - default_timestamp = "%b %d %H:%M:%S"; logging_config = config.get("*", "log") or default_logging;