Warning: session_start(): open(/var/lib/php/sessions/sess_8049m9g2lqjsp5ilp0c2grjrtl, 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(n); }
void update {
progressBar.setValue(i);
progressBar.setText(i + " / " + n);
}
public O get() {
if (!it.hasNext()) {
i = n;
update();
ret endMarker();
}
if (nto.yo()) update();
++i;
ret it.next();
}
});
}