<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_vt396a61ctuq4o374iejifpj30, 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 />
!7

concept FileMeta {
  int fileID;
  S md5;
  long checked;
}

p { loading "Downloading diagrams..." {
  dbIndexing(FileMeta, 'fileID);
  SS map;
  pnl(map = diagramServer_IDsAndMD5s());
  for (S id : keys(map)) {
    S md5 = map.get(id);
    FileMeta m = uniq(FileMeta, fileID := parseInt(id));
    cset(m, +md5, checked := now());
    File f = getFile(m);
    if (!f.exists()) {
      S url = diagramServer_idToURL(id);
      saveBinaryFile(f, loadBinaryPage(url));
      print("Saved " + f);
    }
  }
  print("Done.");
}}

static File getFile(FileMeta m) {
  ret getProgramFile(m.md5);
}