!7

html {
  if (eq(uri, "/serve"))
    ret serveFile(theFile());
  ret "File: " + formatLocalDateWithMinutes(lastModified(theFile())) + " (" + fileSize(theFile()) + ")";
}

p {
  if (!fileExists(theFile())) thread { update(); }
  atTheStartOfEveryHour(r update);
}

svoid update {
  saveTextFileIfNotNull(theFile(), loadPage("http://tinybrain.de:8080/tb/snippets.php?reverse=1&longlist=1&withmd5=1"));
}

static File theFile() { ret programFile("public-snippets.html"); }