new object $page_home_index: $page;
var $dmi_data descriptions = #[];
var $root created_on = 863765377;
var $root flags = ['variables, 'methods, 'code, 'core];
var $root inited = 1;
var $root managed = [$page_home_index];
var $root manager = $page_home_index;
public method .generate() {
arg header, info, args;
var user, page;
user = (| $user_db.search(substr(info['path_info], 2)) |);
if (user) {
catch ~private {
page = user.get_setting("rl-home-page", $user_info);
if ((page[1]) && (page[2])) {
if (substr(page[2], 1, 7) != "http://")
page = page.replace(2, "http://" + (page[2]));
return ['redirect, page[2]];
}
} with {
return [(header['interface]).response(404, "User's homepage is private")];
}
} else {
return [(header['interface]).response(404, "User not found")];
}
};