Warning: session_start(): open(/var/lib/php/sessions/sess_eohutkev6e2035oe447t94lmug, 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
// the map is: invalidated id -> invalidators
static DependentCache> ai_invalidatedWebs_cache = new DependentCache(f ai_invalidatedWebs_calc, f cachedNodeIndex /*_changeCount*/);
static MultiMap ai_invalidatedWebs() {
ret ai_invalidatedWebs_cache!;
}
static MultiMap ai_invalidatedWebs_calc() {
ai_onNewOrRemovedWeb(f ai_invalidatedWebs_onNewWeb, f ai_invalidatedWebs_onRemovedWeb);
ai_invalidatedWebs_cache.set(new TreeSet);
for (Web web : allWebsFromCachedNodeIndex_uncached())
ai_invalidatedWebs_onNewWeb(web);
ret ai_invalidatedWebs_cache!;
}
svoid ai_invalidatedWebs_onNewWeb(Web web) {
if (web.unverified) ret;
lock ai_invalidatedWebs_cache.lock;
new Matches m;
for (WebRelation r : web_search_dollarX(webFromTriple("$X", "is", "unverified"), web))
if (web_match("Web *", r.a, m) && isGlobalID($1))
ai_invalidatedWebs_cache->put($1, web.globalID);
}
svoid ai_invalidatedWebs_onRemovedWeb(Web web) {
if (web.unverified) ret;
lock ai_invalidatedWebs_cache.lock;
new Matches m;
for (WebRelation r : web_search_dollarX(webFromTriple("$X", "is", "unverified"), web))
if (web_match("Web *", r.a, m) && isGlobalID($1))
ai_invalidatedWebs_cache->remove($1, web.globalID);
}