<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4q5jf1i64hadurg4j4on06mgg3, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static L map_printProgress(O f, Collection l) {
  L x = emptyList(l);
  if (nempty(l)) {
    int i = 0, n = l(l);
    S desc = null;
    NotTooOften nto = onlyEverySecond();
    nto.yo(); // wait 1 second before printing
    bool printed = false;
    for (O o : l) {
      x.add(callF(f, o));
      ++i;
      if (nto.yo()) {
        printed = true;
        if (desc == null) desc = shorten(str(f), 20);
        print(desc + ": " + i + "/" + n);
      }
    }
    if (printed)
      print(desc + ": done");
  }
  ret x;
}