File

teal-src/util/logger.d.tl @ 12648:f299e570a0fe

mod_authz_internal: Use util.roles, some API changes and config support This commit was too awkward to split (hg record didn't like it), so: - Switch to the new util.roles lib to provide a consistent representation of a role object. - Change API method from get_role_info() to get_role_by_name() (touches sessionmanager and usermanager) - Change get_roles() to get_user_roles(), take a username instead of a JID This is more consistent with all other usermanager API methods. - Support configuration of custom roles and permissions via the config file (to be documented).
author Matthew Wild <mwild1@gmail.com>
date Tue, 19 Jul 2022 18:02:02 +0100
parent 12621:041d067de38b
line wrap: on
line source

local record util
	enum loglevel
		"debug"
		"info"
		"warn"
		"error"
	end
	type logger = function ( loglevel, string, ...:any )
	type sink = function ( string, loglevel, string, ...:any )
	type simple_sink = function ( string, loglevel, string )
	init : function ( string ) : logger
	make_logger : function ( string, loglevel ) : function ( string, ...:any )
	reset : function ()
	add_level_sink : function ( loglevel, sink )
	add_simple_sink : function ( simple_sink, { loglevel } )
end

return util