parent $user_interfaces
object $web_ui

var $root dbref 'web_ui
var $root child_index 0
var $root fertile 0
var $root manager $web_ui
var $root owned [$web_ui]
var $root owners [$web_ui]
var $root writable []
var $root readable ['parameters, 'methods, 'code]
var $has_commands commands []
var $has_commands shortcuts []
var $root inited 1
var $web_ui http_file_root 0
var $old_command_environment verb_cache #[]
var $old_command_environment command_cache []
var $old_command_environment shortcuts_cache []

method http_request
    arg method, path;
    var page;
    
    if (http_file_root) {
        page = http_file_root.find_file([http_file_root.filename(), @path]);
        if (page)
            return page.retrieve_html();
    }
    return 0;
.

method set_http_file_root
    arg obj;
    
    (> .perms(sender(), 'manager) <);
    http_file_root = obj;
.

method http_file_root
    return http_file_root;
.