!7

p {
  bool errors = false;
  L<S> l = tlft(loadPage("http://eyeocr.sourceforge.net/filestore/filestore.php?cmd=ls"));
  for i, S s over l: {
    loadPage_forcedTimeout = 10000;
    consoleStatusAndPrint(i + "/" + l(l));
    if (startsWith(s, "#")) continue;
    print(s);
    File f = getProgramFile(s);
    if (hasFile(f)) continue;
    S url = "http://eyeocr.sourceforge.net/filestore/filestore.php?cmd=serve&file=" + urlencode(s);
    try {
      saveBinaryFile(f, loadBinaryPage(url));
    } catch e {
      printShortException(e);
      errors = true;
    }
  }
  consoleStatus(print(errors ? "Done with errors" : "Done!"));
  print("Directory size: " + toM(guessClusteredDirSize()) + " MB");
}