new object $page: $core;
var $dmi_data descriptions = #[];
var $page lock = 0;
var $root created_on = 863765169;
var $root flags = ['variables, 'methods, 'code, 'core];
var $root inited = 1;
var $root managed = [$page];
var $root manager = $page;
public method .build_footer() {
arg headers, info, args;
return (> (info['directory_object]).build_footer(headers, info, args) <);
};
public method .build_header() {
arg headers, info, args, @rest;
return (> (info['directory_object]).build_header(headers, info, args, @rest) <);
};
public method .generate() {
arg headers, info, args;
return [["<html><head><title>Error</title></head><body>Error</body></html>"]];
};
public method .get_lock() {
return lock;
};
public method .get_realm() {
return (> (info['directory_object]).get_realm() <);
};