File

core.sessionmanager: Mark session as destroyed to prevent reentry If it reaches this point, then the session will be most definitely be destroyed, so try to prevent destroy_session() from being called again.

local set = require "util.set";

return {
	available = set.new{
		-- mod_bookmarks bundled
		"mod_bookmarks";
	};
};