new object $http_page_file: $http_page;

var $root inited = 1;

public method .GET() {
  arg page, args;
  var file, text;

  catch ~filenf {
    file = $file.open(args);
  } with {
    return $http_lib.error(404, args + " could not be found on this server.");
  }
  text = file.readlines();
  file.close();

  // Now add the header
  return [200, [["Content-type", $mime_lib.mime_type(args)]], text];
};