# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1245428597 -3600
# Node ID ca74a6a38dfbc6439dd60e153b0e80b3cf27b9c8
# Parent  a0bee511d144fce4ad0d5a272d0f8f4f336fb8c5
loggingmanager: Log timestamps when using default file logging

diff -r a0bee511d144 -r ca74a6a38dfb core/loggingmanager.lua
--- a/core/loggingmanager.lua	Fri Jun 19 17:22:16 2009 +0100
+++ b/core/loggingmanager.lua	Fri Jun 19 17:23:17 2009 +0100
@@ -20,7 +20,7 @@
 
 -- The log config used if none specified in the config file
 local default_logging = { { to = "console" } };
-local default_file_logging = { { to = "file", levels = { min = (debug_mode and "debug") or "info" } } };
+local default_file_logging = { { to = "file", levels = { min = (debug_mode and "debug") or "info" }, timestamps = true } };
 local default_timestamp = "%b %d %T";
 -- The actual config loggingmanager is using
 local logging_config = config.get("*", "core", "log") or default_logging;