core/loggingmanager.lua
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;