version 1.98, 2004/11/23 14:53:05
|
version 1.101, 2004/11/30 18:42:09
|
Line 132 sub select_recent {
|
Line 132 sub select_recent {
|
foreach (sort keys %recent) { |
foreach (sort keys %recent) { |
unless ($_=~/^error\:/) { |
unless ($_=~/^error\:/) { |
my $escaped = &Apache::loncommon::escape_url($_); |
my $escaped = &Apache::loncommon::escape_url($_); |
|
if ($_ =~ /\/$/ && $escaped !~ /\/$/) { |
|
$escaped .= '/'; |
|
} |
$return.="\n<option value='$escaped'>". |
$return.="\n<option value='$escaped'>". |
&Apache::lonnet::unescape((split(/\&/,$recent{$_}))[1]). |
&Apache::lonnet::unescape((split(/\&/,$recent{$_}))[1]). |
'</option>'; |
'</option>'; |
Line 899 sub crumbs {
|
Line 902 sub crumbs {
|
if (! defined($size)) { |
if (! defined($size)) { |
$size = '+2'; |
$size = '+2'; |
} |
} |
|
if ($target) { |
|
$target = ' target="'. |
|
&Apache::loncommon::escape_single($target).'"'; |
|
} |
my $output=''; |
my $output=''; |
unless ($noformat) { $output.='<br /><tt><b>'; } |
unless ($noformat) { $output.='<br /><tt><b>'; } |
$output.='<font size="'.$size.'">'.$prefix.'/'; |
$output.='<font size="'.$size.'">'.$prefix.'/'; |
if ($ENV{'user.adv'}) { |
if ($ENV{'user.adv'}) { |
my $path=$prefix.'/'; |
my $path=$prefix.'/'; |
foreach (split('/',$uri)) { |
foreach my $dir (split('/',$uri)) { |
unless ($_) { next; } |
if (! $dir) { next; } |
$path.=$_; |
$path .= $dir; |
unless ($path eq $uri) { $path.='/'; } |
unless ($path eq $uri) { $path.='/'; } |
my $escaped_linkpath = &Apache::loncommon::escape_single($path); |
my $linkpath = &Apache::loncommon::escape_single($path); |
if ($form) { |
if ($form) { |
$escaped_linkpath="javascript:$form.action='". |
$linkpath= |
&Apache::loncommon::escape_single($path). |
qq{javascript:$form.action='$linkpath';$form.submit();}; |
"';$form.submit();"; |
|
} |
} |
my $escaped_target = &Apache::loncommon::escape_single($target); |
$output.=qq{<a href="$linkpath" $target>$dir</a>/}; |
$output.='<a href="'.$escaped_linkpath.'"'.($target?' target="'.$escaped_target.'"':'').'>'.$_.'</a>/'; |
|
} |
} |
} else { |
} else { |
$output.=$uri; |
$output.=$uri; |