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);
}
};
}