util.dbuffer: Add efficient shortcuts for discard() in certain cases If the buffer is already empty, nothing to do. If we're throwing away the whole buffer, we can just empty it and avoid read_chunk() (which in turn may collapse()). These shortcuts are much more efficient.

     1

local set = require "util.set";

     2

     3

return {

     4

	available = set.new{

     5

		-- mod_bookmarks bundled

     6

		"mod_bookmarks";

     7

		-- Roles, module.may and per-session authz

     8

		"permissions";

     9

	};

    10

};