# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1269277118 -18000
# Node ID 0ea2ed371fb2f98d15222ddecdcd56cafad13e03
# Parent  955a12ac985ea41b54dd3e665e3c6afe340ddb6f
loggingmanager: Don't use non-standard format specifier to format the timestamp.

diff -r 955a12ac985e -r 0ea2ed371fb2 core/loggingmanager.lua
--- a/core/loggingmanager.lua	Thu Mar 18 01:16:39 2010 +0000
+++ b/core/loggingmanager.lua	Mon Mar 22 21:58:38 2010 +0500
@@ -35,7 +35,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" }, timestamps = true } };
-local default_timestamp = "%b %d %T";
+local default_timestamp = "%b %d %H:%M:%S";
 -- The actual config loggingmanager is using
 local logging_config = config.get("*", "core", "log") or default_logging;