Warning: session_start(): open(/var/lib/php/sessions/sess_s857324j0bvv2u3ut5v82gfnmg, 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
// not synchronized
sclass WebThoughtSpace {
S globalID;
class Webs extends NotifyingList {
*() { super(new L); }
*(L l) { super(l); }
void change() {
if (index != null) print("Clearing index");
index = null;
websByID = null;
}
public synchronized L subList(int i, int j) {
ret new Webs(list.subList(i, j));
}
}
new Webs webs;
transient Map websByID;
transient MultiMap index;
new L openQuestions;
*() {}
*(Web... webs) {
addAll(this.webs, webs);
}
void addWeb(Web web) { webs.add(web); }
L indexedNodes(S query) {
if (index == null)
index = ai_indexWebs(webs);
ret index.get(query);
}
}