<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_if3frm1mqfq4vsj973kk6oh10r, 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 File makeFileNameUnique_withExtension(File f, S ext) {
  File orig = f;
  int n = 0;
  ext = addPrefixIfNempty(".", ext);
  S name = dropSuffixIC(ext, orig.getName());
  while (f.exists())
    f = new File(dirOfFile(orig), name + "." + (++n) + ext);
  ret f;
}