Warning: session_start(): open(/var/lib/php/sessions/sess_nrkdchuj806is7lem1g0ktrbrh, 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
// f is a function or an instance of Cache (the dependee)
sclass DependentCache extends Cache {
O depF, lastDep;
*() {}
*(O *maker, O *depF) {}
A get() {
if (hasLock(lock)) ret value; // Must be called from within maker
{
lock lock;
O dep;
if (depF instanceof Cache) dep = depF/Cache.changeCount;
else {
dep = callF(depF);
if (dep instanceof Cache) dep = dep/Cache.changeCount;
}
if (neq(dep, lastDep)) {
clear();
lastDep = dep;
}
}
ret super.get();
}
}