Warning: session_start(): open(/var/lib/php/sessions/sess_96umb4vurbam6vck3c6oh4he6j, 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 (add(changedObjects, a)) rst.trigger(); } // internal void _process { sleep(delay); for (A object : cloneAndClearList(changedObjects)) pcallF(processObject, object); } }