Warning: session_start(): open(/var/lib/php/sessions/sess_g48pk4ua8gnl5t2i8g9tlsum8s, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
svoid philosophyBot1_addEnableableExtension(PhilosophyBot1 bot, S name, IVF1 enable) {
Map> map = cast bot.getExtension("enableableExtensions");
if (map == null) {
// first time, register ourselves as an extension
bot.addExtension("enableableExtensions", map = new Map);
bot.addFactPreprocessor(s -> {
new Matches m;
if "enable extension *" {
IVF1 action = map.get($1);
if (action == null) warn("Extension " + $1 + " not found");
else action.get(enable);
true;
}
false;
});
}
// after that, just add new entry to map
map.put(name, enable);
}