File

teal-src/util/ringbuffer.d.tl @ 12730:427dd01f0864

mod_authz_internal: Allow configuring role of local-server/parent-host users 'host_user_role' is the default role of users who have JIDs on the "parent" host (i.e. jabber.org users on conference.jabber.org). Defaults to 'prosody:user'. 'server_user_roles' is the default role of users who have JIDs on any active host on the current Prosody instance. Default to nil (no role). This finally allows better permissions splitting between host and server users, which has previously been done (e.g. in MUC) with options like 'restrict_room_creation' and 'muc_room_allow_persistent'. Using roles makes these permissions a lot more flexible, and easier for developers to integrate.
author Matthew Wild <mwild1@gmail.com>
date Thu, 29 Sep 2022 12:10:14 +0100
parent 11578:dfc5d8f6788e
line wrap: on
line source

local record lib
	record ringbuffer
		find : function (ringbuffer, string) : integer
		discard : function (ringbuffer, integer) : boolean
		read : function (ringbuffer, integer, boolean) : string
		readuntil : function (ringbuffer, string) : string
		write : function (ringbuffer, string) : integer
		size : function (ringbuffer) : integer
		length : function (ringbuffer) : integer
		sub : function (ringbuffer, integer, integer) : string
		byte : function (ringbuffer, integer, integer) : integer...
		free : function (ringbuffer) : integer
	end

	new : function (integer) : ringbuffer
end

return lib