core/loggingmanager.lua
changeset 5377 898454038524
parent 5272 1e555909f23d
child 5776 bd0ff8ae98a8
--- a/core/loggingmanager.lua	Sat Mar 23 02:24:11 2013 +0100
+++ b/core/loggingmanager.lua	Sat Mar 23 02:33:15 2013 +0100
@@ -146,7 +146,7 @@
 	
 	logger.reset();
 
-	local debug_mode = config.get("*", "core", "debug");
+	local debug_mode = config.get("*", "debug");
 
 	default_logging = { { to = "console" , levels = { min = (debug_mode and "debug") or "info" } } };
 	default_file_logging = {
@@ -154,7 +154,7 @@
 	};
 	default_timestamp = "%b %d %H:%M:%S";
 
-	logging_config = config.get("*", "core", "log") or default_logging;
+	logging_config = config.get("*", "log") or default_logging;
 	
 	
 	for name, sink_maker in pairs(old_sink_types) do