Warning: session_start(): open(/var/lib/php/sessions/sess_pbj7u1qvunuujqd5pnu8j4r8hn, 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 SourceTriggeredStream extends Meta {
DoneFlag ended = new(true);
volatile A lastElement;
new AtomicLong elementCount;
event newElement(A a) {
lastElement = a;
inc(elementCount);
}
A get() { ret lastElement; }
long elementCount() { ret elementCount!; }
void end { ended.raise(); }
bool ended() { ret ended.isUp(); }
void catchError(Runnable r) {
main catchError(ended, r);
}
// on new element, call consumer in same thread
void directlyFeedInto(Consumer consumer) {
if (consumer != null)
onNewElement(a -> consumer.accept(a));
}
}