version 1.444, 2006/06/26 21:20:37
|
version 1.447, 2006/06/26 22:18:48
|
Line 702 sub get_name {
|
Line 702 sub get_name {
|
if (!defined($udom)) { $udom=$env{'user.domain'}; } |
if (!defined($udom)) { $udom=$env{'user.domain'}; } |
my $plainname=&Apache::loncommon::plainname($uname,$udom); |
my $plainname=&Apache::loncommon::plainname($uname,$udom); |
if ($plainname=~/^\s*$/) { $plainname=$uname.'@'.$udom; } |
if ($plainname=~/^\s*$/) { $plainname=$uname.'@'.$udom; } |
$plainname=&Apache::lonxml::latex_special_symbols($plainname,'header'); |
# $plainname=&Apache::lonxml::latex_special_symbols($plainname,'header'); |
|
$plainname = &escape_LaTeX($plainname); |
return $plainname; |
return $plainname; |
} |
} |
|
|
Line 1804 sub print_resources {
|
Line 1805 sub print_resources {
|
} |
} |
# Fullname may have special latex characters that need \ prefixing: |
# Fullname may have special latex characters that need \ prefixing: |
# |
# |
$fullname = escape_LaTeX($fullname); |
|
|
|
my $i = 0; |
my $i = 0; |
#goes through all resources, checks if they are available for |
#goes through all resources, checks if they are available for |