version 1.61, 2004/03/09 15:06:48
|
version 1.62, 2004/04/06 15:07:41
|
Line 814 sub r_print {
|
Line 814 sub r_print {
|
# ------------------------------------------------------- Puts directory header |
# ------------------------------------------------------- Puts directory header |
|
|
sub crumbs { |
sub crumbs { |
my ($uri,$target,$prefix,$form)=@_; |
my ($uri,$target,$prefix,$form,$size)=@_; |
my $output='<br /><tt><b><font size="+2">'.$prefix.'/'; |
if (! defined($size)) { |
|
$size = '+2'; |
|
} |
|
my $output='<br /><tt><b><font size="'.$size.'">'.$prefix.'/'; |
if ($ENV{'user.adv'}) { |
if ($ENV{'user.adv'}) { |
my $path=$prefix.'/'; |
my $path=$prefix.'/'; |
foreach (split('/',$uri)) { |
foreach (split('/',$uri)) { |