Warning: session_start(): open(/var/lib/php/sessions/sess_ksjoco87useekr6u64s85713jh, 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) {} // 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(IF0 enter) { rst.enter = enter; } }