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; .