Warning: session_start(): open(/var/lib/php/sessions/sess_hp8cucph9hvndpr1ttvifljq9u, 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
// synchronized sclass SeenAndQueue { Set seen = syncSet(); L queue = syncLinkedList(); // L transient L onAddedToQueue = syncList(); bool add(A a) { if (!seen.add(a)) false; queue.add(a); pcallFAll(onAddedToQueue, a); true; } A popQueue() { ret syncPopFirst(queue); } void onAddedToQueue(O r) { onAddedToQueue.add(r); } }