!7

static File dir;

p {
  dir = javaxDataDir("Static Web Pages");
}

html {
  S uri = dropPrefix("/", uri);
  if (!isProperFileName(uri)) ret subBot_serve404("Bad chars");
  File f = newFile(dir, uri);
  if (!fileExists(f)) ret subBot_serve404();
  ret loadTextFile(f);
}