if ($value !~ /^\w+:\/\//) {
my ($redir_page, $redir_anchor) = split /\#/, $value;
if ($value !~ /^\w+:\/\//) {
my ($redir_page, $redir_anchor) = split /\#/, $value;
my $link=bestlink($page, $redir_page);
if (! length $link) {
error gettext("redir page not found")
}
my $link=bestlink($page, $redir_page);
if (! length $link) {
error gettext("redir page not found")
}
$value=urlto($link, $page);
$value.='#'.$redir_anchor if defined $redir_anchor;
$value=urlto($link, $page);
$value.='#'.$redir_anchor if defined $redir_anchor;