# HG changeset patch # User Matthew Wild # Date 1321984612 0 # Node ID ae71ae5ddcfcb49df889cbb5841ace8840e03d02 # Parent ee65aa40ef601d941673aa3ff4a55ce32c2823d1 loggingmanager: Remove unused 'critical' level diff -r ee65aa40ef60 -r ae71ae5ddcfc core/loggingmanager.lua --- a/core/loggingmanager.lua Tue Nov 22 02:13:42 2011 +0500 +++ b/core/loggingmanager.lua Tue Nov 22 17:56:52 2011 +0000 @@ -41,7 +41,7 @@ local apply_sink_rules; local log_sink_types = setmetatable({}, { __newindex = function (t, k, v) rawset(t, k, v); apply_sink_rules(k); end; }); local get_levels; -local logging_levels = { "debug", "info", "warn", "error", "critical" } +local logging_levels = { "debug", "info", "warn", "error" } -- Put a rule into action. Requires that the sink type has already been registered. -- This function is called automatically when a new sink type is added [see apply_sink_rules()]