Warning: session_start(): open(/var/lib/php/sessions/sess_6hf4lh890gkb01diqkvm4iga65, 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
static Producer moveProducerToNewThread(Producer producer, int bufferSize default 65536) { if (producer == null) null; new SimpleCircularBuffer buffer; new Flag done; new Var error; startThread(r { try { A a; while ping ((a = producer.next()) != null) { while (buffer.isFull()) sleep(1); buffer.add(a); } catch e { error.set(e); } finally { done.raise(); } }); ret () -> { while true { A a = buffer.popFirst(); if (a != null) ret a; if (done.isUp()) null; else sleep(1); } }; }