Warning: session_start(): open(/var/lib/php/sessions/sess_8tonats8lnvrvog7u3h59a8cri, 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 ItIt iterateUpdatingProgressShower(IProgressShower progressBar, Collection l) {
if (progressBar == null) ret iterableIterator(l);
ret iteratorFromFunction_withEndMarker_f0(new F0 {
int n = l(l), i;
Iterator it = iterator(l);
NotTooOften nto = onlyTenTimesASecond();
*() {
progressBar.setTotal(l(l));
}
void update {
progressBar.setValue(n, n);
progressBar.setText(n + " / " + n);
}
public O get() {
if (!it.hasNext())
ret endMarker() with update();
if (nto.yo()) update();
++i;
ret it.next();
}
});
}