new object $page_file_index: $page;

var $dmi_data descriptions = #[];
var $root created_on = 864282511;
var $root flags = ['variables, 'methods, 'code, 'core];
var $root inited = 1;
var $root managed = [$page_file_index];
var $root manager = $page_file_index;

public method .generate() {
    arg headers, info, args;
    var filename, stat, i;
    
    filename = "html" + (info['path_info]);
    stat = (| $file.fstat(filename) |);
    if ((!stat) || (substr(stat[1], 1, 1) == "4"))
        return [(headers['interface]).response(404, "Unable to find URL " + (info['path_info]))];
    if ((i = (info['path_info]).rindex("."))) {
        switch ((info['path_info]).subrange(i + 1)) {
            case "txt":
                (headers['interface]).set_ctype("text/plain");
            case "gif":
                (headers['interface]).set_ctype("image/gif");
            case "jpg":
                (headers['interface]).set_ctype("image/jpeg");
        }
    }
    (headers['interface]).respond_with_file(stat, filename);
    return 0;
};