annotate plugins/mod_unknown.lua @ 12763:d26eefe98d09

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.
author Matthew Wild <mwild1@gmail.com>
date Tue, 11 Oct 2022 11:37:55 +0100
parents 28a90f5fea46
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6003
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 -- Unknown platform stub
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2 module:set_global();
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 -- TODO Do things that make sense if we don't know about the platform