Warning: session_start(): open(/var/lib/php/sessions/sess_8tn7tdl8n26bd1gbi5tnb6rrpn, 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
sclass ReliableSingleThread_Multi { IVF1 processObject; int delay; // delay before changes are processed *(IVF1 *processObject) {} *(int *delay, IVF1 *processObject) {} *(int *delay, IVF1 *processObject, F0 enter) { setEnter(enter); } // internal Set changedObjects = synchroSet(); ReliableSingleThread rst = new(r process); // notify of change in object void add(A a) { if (changedObjects.add(a)) rst.trigger(); } private void process { sleep(delay); for (A object : syncCloneAndClearList(changedObjects)) pcallF(processObject, object); } void setEnter(F0 enter) { rst.enter = enter; } }