# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1454601365 -3600
# Node ID 3868d231c2c50638ae18984d97eee8439b0fe2de
# Parent  ea3eea291321567a134d762d3ab5084ef974847a
loggingmanager: Don't reset default timestamp that is not changed by any other code

diff -r ea3eea291321 -r 3868d231c2c5 core/loggingmanager.lua
--- 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;